zsparks / scheme-dep
A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
☆8Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for scheme-dep
- an implementation of gradual typing in mit-scheme☆9Updated 3 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- ☆21Updated 4 years ago
- ☆18Updated last year
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Your happy place for learning APL☆16Updated last year
- Racket-based implementation of Adapton☆22Updated 5 years ago
- The PGG Partial Evaluation System for Scheme 48☆17Updated 11 years ago
- ☆34Updated 3 weeks ago
- ☆17Updated 5 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 12 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 7 years ago
- My Own Linear Lisp☆37Updated 6 years ago
- #lang for writing C code☆15Updated 7 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- The Alms Programming Language☆44Updated 6 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- ☆11Updated 3 weeks ago
- A Racket refactoring engine☆58Updated this week
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- ☆18Updated 3 weeks ago
- A diagram drawing library for Racket☆18Updated 3 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆54Updated 6 months ago