haskell-lisp / yale-haskell
HASKELL: Yale Haskell system written in Lisp
☆98Updated 11 years ago
Alternatives and similar repositories for yale-haskell:
Users that are interested in yale-haskell are comparing it to the libraries listed below
- Parser combinators in Common Lisp☆23Updated 14 years ago
- ☆57Updated 7 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Collection of Utilities for Gerbil Scheme☆44Updated 7 months ago
- An experimental implementation of parser combinators in Common Lisp☆80Updated 11 years ago
- functional data structures for scheme☆133Updated 5 years ago
- A port of sweet expressions to Racket☆47Updated 2 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- Algebraic data types in Common Lisp☆139Updated 7 months ago
- Don't Lisp, Talk!☆57Updated 11 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated last month
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆129Updated last week
- Super Monadic Über Go-into : parser combinators for Common Lisp☆109Updated 3 years ago
- Simple computer algebra system☆64Updated 3 months ago
- Terminal emulator in racket☆41Updated last year
- Shen for Common Lisp (Unmaintained)☆127Updated 9 months ago
- Emacs major mode for editing J code.☆49Updated 5 months ago
- Collection of syntax/parse macros☆29Updated 2 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- Emacs style editor written in Racket☆63Updated 5 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 5 months ago
- Full Blown, portable, and extensible sockets library for Chez Scheme☆37Updated 7 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- A logic programming library for Common Lisp.☆60Updated 4 years ago
- Shen/Scheme implementation☆107Updated 7 months ago
- CFFI bindings for LLVM☆100Updated 11 months ago
- Constraint programming language embedded in Racket☆153Updated 3 years ago
- An implementation of R7RS in Racket☆99Updated 5 months ago
- R7RS SRFI implementations☆33Updated 5 months ago