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
- SML Parser Combinator Library☆28Updated 9 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- αProlog☆17Updated last year
- A bare-bones LCF-style proof assistant☆24Updated 5 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- ☆12Updated 2 weeks ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- ☆19Updated 2 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- ☆19Updated 2 weeks ago
- My Own Linear Lisp☆40Updated 6 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- For supporting template-based programming☆21Updated 4 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- #lang for writing C code☆14Updated 8 years ago
- ☆18Updated 2 weeks ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- Experimental functional language☆17Updated 2 years ago
- ☆22Updated 9 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago