kevincfz / schemeLinks
A Scheme interpreter in Python
☆14Updated 11 years ago
Alternatives and similar repositories for scheme
Users that are interested in scheme are comparing it to the libraries listed below
Sorting:
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- ☆37Updated last month
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- ☆39Updated 3 weeks ago
- ☆87Updated 4 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- ☆51Updated 2 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- ☆11Updated last month
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 6 years ago
- A very little language☆16Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 4 months ago
- A basic library of algorithms and data structures (a la NJlib)☆74Updated 6 months ago
- Ask for solutions.☆19Updated 6 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Updated 2 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- Higher-order optimization library☆76Updated 2 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Updated 12 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Updated 6 years ago
- ☆49Updated 12 years ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- ☆14Updated last month
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆44Updated 7 years ago
- ☆40Updated 4 years ago
- xmonad in Coq☆46Updated 13 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago