steshaw / playground
👨🏻🎓 Playground for learning programming languages
☆24Updated this week
Related projects: ⓘ
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- ☆20Updated this week
- A compiler for Coq☆26Updated 11 years ago
- Algebraic Combinatorics in Coq☆34Updated 7 months ago
- The Alms Programming Language☆43Updated 6 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Updated 7 years ago
- Idris, but it's C☆24Updated 6 years ago
- Cohesive type theory☆18Updated 2 years ago
- ☆11Updated last month
- Automatically exported from code.google.com/p/trellys☆45Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆26Updated 12 years ago
- Course on Metaprogramming☆54Updated 2 years ago
- TODO☆10Updated 8 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- ☆17Updated 7 months ago
- A Hello World program in Coq.☆17Updated 2 years ago
- The Combination of Dynamic and Static Typing from a Categorical Perspective☆10Updated 7 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago