siraben / eopl
Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
☆15Updated 4 years ago
Related projects: ⓘ
- MLpolyR☆7Updated 8 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Yes, really!☆11Updated 9 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- The MLPolyR programming language, revived☆24Updated 3 years ago
- Lollimon, a monadic concurrent linear logic programming language☆26Updated 12 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 7 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- purple: compiling a reflective language☆29Updated 2 years ago
- JVM code generation☆32Updated 5 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- build tool and package manager for idris,in idris,with free monads☆34Updated 5 years ago
- The LVish Haskell library☆81Updated last year
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 2 years ago
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- MetaML and MetaOCaml bibliography☆84Updated 3 weeks ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Recursion schemes for Idris☆64Updated 6 years ago