gergoerdi / alefLinks
Alef Lazily Evaluates Functions
☆32Updated 12 years ago
Alternatives and similar repositories for alef
Users that are interested in alef are comparing it to the libraries listed below
Sorting:
- ☆37Updated last month
- My Own Linear Lisp☆40Updated 6 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- xmonad in Coq☆46Updated 12 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- ☆14Updated last month
- SML Parser Combinator Library☆28Updated 9 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- MLpolyR☆7Updated 8 years ago
- The Alms Programming Language☆44Updated 6 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Updated 12 years ago
- ☆13Updated last month
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- ☆10Updated 9 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- A naive θ..θ programming language☆27Updated 6 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago