aposwolsky / delphinLinks
The Delphin Project
☆10Updated 8 years ago
Alternatives and similar repositories for delphin
Users that are interested in delphin are comparing it to the libraries listed below
Sorting:
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- αProlog☆18Updated last year
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- ☆22Updated 9 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 5 years ago
- A bare-bones LCF-style proof assistant☆24Updated 5 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- For supporting template-based programming☆21Updated 5 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- ☆29Updated 9 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A basic JSON parsing library for SML☆11Updated 10 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago