Pinned Repositories
implicit-propagation
Implicit Propagation in Object Algebras
recaf
Recaffeinating Java ☕️ with custom semantics and extensions
effect-handlers
handlers-tutorial
Rascal implementation of Matija Pretnar's tutorial on Algebraic Effects and Handlers
scala
The Scala programming language
types-and-programming-languages-pierce
Examples from the book "Types and Programming Languages" written in Rascal.
dan
typhonql
Typhon Query Language
rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
pinoval's Repositories
pinoval/effect-handlers
pinoval/handlers-tutorial
Rascal implementation of Matija Pretnar's tutorial on Algebraic Effects and Handlers
pinoval/scala
The Scala programming language
pinoval/types-and-programming-languages-pierce
Examples from the book "Types and Programming Languages" written in Rascal.