irpap / Write-yourself-a-Scheme-in-48-hoursLinks
A Scheme interpreter in Haskell
☆9Updated 11 years ago
Alternatives and similar repositories for Write-yourself-a-Scheme-in-48-hours
Users that are interested in Write-yourself-a-Scheme-in-48-hours are comparing it to the libraries listed below
Sorting:
- An implementation of scoped algebraic effects and handlers in Agda.☆12Updated 4 years ago
- MLpolyR☆7Updated 8 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- A very little language☆16Updated last year
- A Racket Meta-Program Generator☆17Updated 5 years ago
- ☆14Updated 3 weeks ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 10 months ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- ☆12Updated 3 weeks ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- ☆17Updated last year
- ☆22Updated 5 years ago
- Web site for standardml.org.☆36Updated last year
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 9 years ago
- Experiment with synthetic domain theory in cubical agda☆14Updated 2 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- Experimental functional language☆17Updated 2 years ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Updated 8 months ago
- Collection of syntax/parse macros☆30Updated 2 years ago