Popular repositories Loading

1. pisc pisc Public

   Pi-calculus to Scala translator

   Scala

2. urru urru Public

   Three puzzles - Flow, Fold, Fill - with Undo/Redo and more, scalaFX UI

   Scala

3. hascalam hascalam Public

   Haskell to and from Scalameta

   Haskell

4. pisc-dotarrow pisc-dotarrow Public

   DotArrow is the codename for "mobile code" in the context of a Pi-calculus to Scala translator

   Scala

5. kittens kittens Public

   Lessons of Scala Cats

   Scala