ijp / minikanrenLinks
r6rs packaging of minikanren from "The Reasoned Schemer"
☆11Updated 10 years ago
Alternatives and similar repositories for minikanren
Users that are interested in minikanren are comparing it to the libraries listed below
Sorting:
- Common Lisp implementation of rope datastructure☆37Updated 8 months ago
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆49Updated 4 years ago
- ContextL is a CLOS extension for Context-oriented Programming (COP), and was the first language extension that explicitly supports COP wh…☆51Updated last year
- POP, IMAP and SMTP client support for Common Lisp☆49Updated last year
- The Common Lisp Interface Manager☆25Updated 8 years ago
- A simple directed graph implementation for Common Lisp.☆29Updated last year
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago
- Structured access to bytevector contents.☆38Updated 9 months ago
- Define programs that are designed to be used from the Unix shell rather than the REPL.☆34Updated 6 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated last year
- new major version of folio☆76Updated 5 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- shadchen is a common lisp pattern matching library.☆22Updated 11 years ago
- A binding to WebKitGTK+ for Common Lisp☆54Updated 10 months ago
- cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework☆70Updated 5 years ago
- websockets server in CL☆73Updated 11 years ago
- ML-like Pattern Matching for Common Lisp☆29Updated 13 years ago
- ☆17Updated 3 years ago
- Reader Syntax Coventions for Common Lisp and SLIME☆39Updated 6 years ago
- Clojure in Common Lisp☆19Updated last year
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- A Common Lisp library for computing differences between files☆29Updated 11 years ago
- Terminal emulator in racket☆42Updated last year
- CCLDoc documentation system used by Clozure CL☆33Updated 8 months ago
- Minimal asynchronous CL web server☆34Updated 4 years ago
- Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.☆56Updated 3 years ago
- Functional utilities for Common Lisp☆30Updated 9 months ago
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago
- A monadic parser combinator library for Common Lisp.☆14Updated 12 years ago
- Why write programs in Common Lisp but tests like Java? Meet CheckL!☆45Updated 7 years ago