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:
- Structured access to bytevector contents.☆39Updated last year
- package manager for guile☆65Updated 6 years ago
- An EMACS written in Racket. Runs in ANSI-compatible terminals. -- MOVED TO https://git.leastfixedpoint.com/tonyg/rmacs☆75Updated 7 years ago
- functional data structures for scheme☆136Updated 6 years ago
- Portable Foreign Function Interface (FFI) for R6RS☆51Updated 2 months ago
- Hygienic Literate Programming for Chez Scheme☆46Updated 8 years ago
- Emacs style editor written in Racket☆63Updated 6 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket☆23Updated 3 years ago
- R7RS SRFI implementations☆33Updated last year
- An experimental implementation of parser combinators in Common Lisp☆80Updated 12 years ago
- Window manager in the Racket programming language☆88Updated last year
- Super Monadic Über Go-into : parser combinators for Common Lisp☆110Updated 4 years ago
- ☆130Updated last year
- CFFI bindings for LLVM☆99Updated last year
- Terminal emulator in racket☆42Updated 2 years ago
- Asynchronous event loop for chez scheme with await semantics☆39Updated 3 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 4 years ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆60Updated 14 years ago
- A Common Lisp implementation of the dataflow programming paradigm☆221Updated 2 years ago
- Guile numerical arrays and tensor extension☆58Updated 2 months ago
- Shen for Common Lisp (Unmaintained)☆128Updated last year
- ☆58Updated 8 years ago
- CCLDoc documentation system used by Clozure CL☆33Updated last year
- HASKELL: Yale Haskell system written in Lisp☆104Updated 11 years ago
- cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework☆71Updated 5 years ago
- R6RS SRFIs☆26Updated 13 years ago
- Access Chez Scheme documentation from the REPL☆30Updated 7 months ago
- Emacs major mode for editing J code.☆49Updated 3 months ago
- ☆39Updated last month