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 last year
- ☆57Updated 7 years ago
- Parser combinators in Common Lisp☆23Updated 14 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Terminal emulator in racket☆40Updated last year
- Emacs style editor written in Racket☆63Updated 5 years ago
- An EMACS written in Racket. Runs in ANSI-compatible terminals.☆75Updated 6 years ago
- An experimental implementation of parser combinators in Common Lisp☆80Updated 11 years ago
- functional data structures for scheme☆133Updated 5 years ago
- staged relational interpreters: running with holes, faster☆127Updated 3 months ago
- Movitz: a Common Lisp x86 development platform☆84Updated 13 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 6 months ago
- Shen for Common Lisp (Unmaintained)☆127Updated 8 months ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated last week
- Disassembler for Racket☆78Updated last year
- Don't Lisp, Talk!☆57Updated 10 months ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated 10 months ago
- Super Monadic Über Go-into : parser combinators for Common Lisp☆109Updated 3 years ago
- CFFI bindings for LLVM☆100Updated 10 months ago
- LIL: abstract interfaces and supporting concrete data-structures in Common Lisp☆146Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- Algebraic data types in Common Lisp☆139Updated 5 months ago
- A Racket package for creating and composing pure functional lenses☆75Updated 5 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆161Updated 7 years ago
- Collection of syntax/parse macros☆29Updated 2 years ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆59Updated 13 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆101Updated 3 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 4 months ago
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆49Updated 3 years ago