reflectionalist/Liscal
A Scheme dialect in Rascal
Developer Profile
reflectionalist
Discovered public repositories for reflectionalist in the GitHub catalog.
reflectionalist/rascal
The core interpreter of the Rascal meta-programming language
reflectionalist/Bibliographies
Public repository.
reflectionalist/Twelve
Twelf playground
reflectionalist/AoPL
A book on programming languages, using Haskell
reflectionalist/pandoc
Universal markup converter
reflectionalist/DotFiles
My dot-files
reflectionalist/Hypercube
A Haskell implementation of cumulative Universal Type Theory with a single binder
reflectionalist/pts
A Haskell implementation of the Pure Type System
reflectionalist/Kiwi
A simple, intuitive and elegant wiki markup language
reflectionalist/LC
Lambda Calculators
reflectionalist/SExp
A library for parsing and serializing s-expressions
reflectionalist/CL
Experimentation with Combinatory Logic