Repositories list

• scala-loci

  Public
  A programming language for distributed applications

  Scala

  •

  Apache License 2.0

  •11•34•0•0•Updated Jun 18, 2024Jun 18, 2024

• scala-loci.github.io

  Public
  Website for the ScalaLoci programming language

  JavaScript

  •2•1•0•0•Updated Nov 1, 2023Nov 1, 2023

• retypecheck

  Public
  Re-type-checking Scala ASTs

  Scala

  •

  Apache License 2.0

  •1•0•0•0•Updated Jan 15, 2023Jan 15, 2023

• examples-simple

  Public
  Showcases of ScalaLoci using small examples

  Scala

  •1•1•0•0•Updated Dec 13, 2021Dec 13, 2021

• examples-variants

  Public
  More complete examples implemented in different variants

  Scala

  •1•2•1•0•Updated Dec 13, 2021Dec 13, 2021

• case-study-play-scalajs

  Public
  ScalaLoci reimplementation of the Play Framework with Scala.js Showcase

  Scala

  •

  Do What The F*ck You Want To Public License

  •41•0•0•0•Updated Dec 12, 2021Dec 12, 2021

• case-study-gearpump

  Public
  ScalaLoci reimplementation of the worker assignment logic of Apache Gearpump

  Scala

  •

  Apache License 2.0

  •92•0•0•0•Updated Dec 12, 2021Dec 12, 2021

• case-study-flink

  Public
  ScalaLoci reimplementation of the task distribution system of Apache Flink

  Java

  •

  Apache License 2.0

  •13k•1•0•0•Updated Dec 12, 2021Dec 12, 2021

• formalization

  Public
  Coq

  •0•0•0•0•Updated Nov 21, 2020Nov 21, 2020

• doc

  Public
  The documentation of the ScalaLoci programming language

  4•0•0•2•Updated Jul 1, 2020Jul 1, 2020