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
- A port of sweet expressions to Racket☆47Updated 2 years ago
- Terminal emulator in racket☆41Updated last year
- ☆57Updated 7 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆129Updated this week
- functional data structures for scheme☆133Updated 5 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- An experimental implementation of parser combinators in Common Lisp☆80Updated 11 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 8 months ago
- An EMACS written in Racket. Runs in ANSI-compatible terminals.☆74Updated 6 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- Parser combinators in Common Lisp☆23Updated 15 years ago
- Disassembler for Racket☆78Updated last year
- A logic programming library for Common Lisp.☆60Updated 4 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- Algebraic data types in Common Lisp☆139Updated 7 months ago
- CFFI bindings for LLVM☆100Updated last year
- Collection of syntax/parse macros☆29Updated 2 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 6 months ago
- Don't Lisp, Talk!☆57Updated last year
- Super Monadic Über Go-into : parser combinators for Common Lisp☆109Updated 3 years ago
- Access Chez Scheme documentation from the REPL☆29Updated 5 months ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Shen/Scheme implementation☆110Updated 8 months ago
- a simple x64 assembler written in typed/racket☆18Updated 4 years ago
- Movitz: a Common Lisp x86 development platform☆84Updated 13 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆162Updated 8 years ago
- Shen for Common Lisp (Unmaintained)☆127Updated 10 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated 2 months ago
- An implementation of R7RS in Racket☆99Updated 6 months ago