ijp / minikanren
r6rs packaging of minikanren from "The Reasoned Schemer"
☆11Updated 9 years ago
Alternatives and similar repositories for minikanren:
Users that are interested in minikanren are comparing it to the libraries listed below
- Generic collections API for Racket☆52Updated 2 years ago
- POP, IMAP and SMTP client support for Common Lisp☆48Updated last year
- package manager for guile☆63Updated 5 years ago
- Structured access to bytevector contents.☆38Updated 6 months ago
- An Emacs major mode for editing Shen source code☆30Updated 11 years ago
- Build system in Common Lisp☆61Updated last month
- The repository for the 100 Guile Programs project☆14Updated 11 years ago
- OAuth module for Guile☆19Updated 2 years ago
- Common Lisp implementation of rope datastructure☆37Updated 5 months ago
- The Common Lisp Interface Manager☆25Updated 8 years ago
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆49Updated 3 years ago
- A simple directed graph implementation for Common Lisp.☆25Updated last year
- A framework for representing and manipulating documents.☆42Updated 2 years ago
- Glyphs - Reducing Common Lisp verbosity☆29Updated 6 years ago
- Terminal emulator in racket☆41Updated last year
- Treadmill: Gerbil-Emacs Networked REPL Environment☆33Updated 5 years ago
- Super Monadic Über Go-into : parser combinators for Common Lisp☆109Updated 3 years ago
- Common Lisp with Arc Macros and Procedures☆73Updated 8 years ago
- The Command-Line Options Nuker☆53Updated 3 months ago
- Example on how to use Java Swing from ABCL (Armed Bear Common Lisp)☆46Updated 5 years ago
- [OBSOLETE] Use Roswell instead.☆64Updated 10 years ago
- cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework☆70Updated 4 years ago
- Why write programs in Common Lisp but tests like Java? Meet CheckL!☆43Updated 6 years ago
- Automatically validating formlets for Hunchentoot + cl-who☆24Updated 8 years ago
- Module system for languages that compile to Common Lisp☆60Updated last year
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated 10 months ago
- Minimal asynchronous CL web server☆34Updated 4 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆33Updated 3 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆37Updated 3 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