dharmatech / mpl
Computer Algebra and Symbolic Computation for R6RS Scheme
☆62Updated last year
Related projects ⓘ
Alternatives and complementary repositories for mpl
- Simple computer algebra system☆62Updated 2 months ago
- ☆27Updated 4 years ago
- A port of sweet expressions to Racket☆47Updated last year
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- HASKELL: Yale Haskell system written in Lisp☆96Updated 10 years ago
- ☆57Updated 7 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆50Updated 3 years ago
- Hygienic Literate Programming for Chez Scheme☆45Updated 6 years ago
- Emacs style editor written in Racket☆63Updated 5 years ago
- Based on scheme to LLVM compiler from https://web.archive.org/web/20111220233738/http://www.ida.liu.se/~tobnu/scheme2llvm/☆68Updated 7 years ago
- ☆34Updated last week
- nanopass compiler framework for Racket☆181Updated 10 months ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- R7RS SRFI implementations☆33Updated last month
- 3-dimensional picts☆114Updated last year
- Disassembler for Racket☆79Updated last year
- Generic collections API for Racket☆52Updated 2 years ago
- functional data structures for scheme☆133Updated 5 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Screamer is an extension of Common Lisp that adds support for nondeterministic programming.☆227Updated 7 months ago
- An implementation of R7RS in Racket☆98Updated last month
- Constraint programming language embedded in Racket☆152Updated 3 years ago
- Port of the 'MIT Scmutils' library to Chez Scheme.☆37Updated 2 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆154Updated 4 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- An EMACS written in Racket. Runs in ANSI-compatible terminals.☆74Updated 6 years ago
- ☆16Updated 2 weeks ago
- Don't Lisp, Talk!☆58Updated 7 months ago