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 5 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- ☆37Updated 2 months ago
- A naive θ..θ programming language☆27Updated 7 years ago
- Relational implementation of the CESK machine☆21Updated 12 years ago
- ☆39Updated last month
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Updated 2 years ago
- Ask for solutions.☆19Updated 6 years ago
- ☆51Updated 2 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Updated 7 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Updated 6 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and more☆29Updated 3 years ago
- ☆11Updated 2 months ago
- ☆49Updated 12 years ago
- A very little language☆16Updated 2 years ago
- The formal proof of the Odd Order Theorem☆35Updated last week
- 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
- ☆56Updated 6 months ago
- Exercism exercises in Racket.☆43Updated last week
- ☆40Updated 4 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- ☆86Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- CMU Undergrad Course☆95Updated 2 years ago
- Higher-order optimization library☆76Updated 2 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago