ijp / minikanrenLinks
r6rs packaging of minikanren from "The Reasoned Schemer"
☆12Updated 10 years ago
Alternatives and similar repositories for minikanren
Users that are interested in minikanren are comparing it to the libraries listed below
Sorting:
- package manager for guile☆65Updated 6 years ago
- Structured access to bytevector contents.☆38Updated last year
- CFFI bindings for LLVM☆100Updated last year
- Portable Foreign Function Interface (FFI) for R6RS☆51Updated last month
- POP, IMAP and SMTP client support for Common Lisp☆49Updated 5 months ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆60Updated 14 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- R7RS SRFI implementations☆33Updated last year
- An experimental implementation of parser combinators in Common Lisp☆80Updated 12 years ago
- Super Monadic Über Go-into : parser combinators for Common Lisp☆110Updated 3 years ago
- Terminal emulator in racket☆42Updated 2 years ago
- ☆58Updated 8 years ago
- Guile numerical arrays and tensor extension☆58Updated last month
- ManKai Common Lisp☆35Updated last year
- functional data structures for scheme☆136Updated 6 years ago
- An implementation of Common Lisp.☆80Updated 7 years ago
- cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework☆71Updated 5 years ago
- An EMACS written in Racket. Runs in ANSI-compatible terminals. -- MOVED TO https://git.leastfixedpoint.com/tonyg/rmacs☆75Updated 7 years ago
- OAuth module for Guile☆21Updated 2 years ago
- Common Lisp implementation of rope datastructure☆37Updated last year
- An embeddable Emacs-like library for GNU Guile Scheme☆114Updated 12 years ago
- Hygienic Literate Programming for Chez Scheme☆46Updated 7 years ago
- ContextL is a CLOS extension for Context-oriented Programming (COP), and was the first language extension that explicitly supports COP wh…☆52Updated 2 years ago
- HASKELL: Yale Haskell system written in Lisp☆104Updated 11 years ago
- Treadmill: Gerbil-Emacs Networked REPL Environment☆34Updated 6 years ago
- ML-like Pattern Matching for Common Lisp☆29Updated 14 years ago
- ☆129Updated last year
- Concrete Syntax Trees represent s-expressions with source information☆61Updated 3 months ago
- The repository for the 100 Guile Programs project☆15Updated 12 years ago
- HTTP middleware for Scheme/Gambit/Black Hole, inspired by Ruby's Rack. Includes a HTTP client.☆18Updated 13 years ago