ThatGeoGuy / chicken-miniKanren
Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
☆11Updated 3 years ago
Alternatives and similar repositories for chicken-miniKanren:
Users that are interested in chicken-miniKanren are comparing it to the libraries listed below
- A port of sweet expressions to Racket☆47Updated 2 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 6 months ago
- Generic collections API for Racket☆52Updated 3 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- ☆43Updated last month
- Gambit Scheme library to interface to Python☆9Updated 10 months ago
- Access Chez Scheme documentation from the REPL☆29Updated 5 months ago
- Terminal emulator in racket☆41Updated last year
- Hygienic Literate Programming for Chez Scheme☆46Updated 7 years ago
- A logic programming library for Common Lisp.☆61Updated 4 years ago
- client for a snow2 repository☆12Updated 6 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 8 months ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆59Updated 13 years ago
- Common Lisp with Arc Macros and Procedures☆74Updated 8 years ago
- An embeddable Emacs-like library for GNU Guile Scheme☆112Updated 11 years ago
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Updated 11 years ago
- A collection of Scheme libraries☆30Updated 9 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Gambit@30 talks and related documents☆40Updated 5 years ago
- Common Lisp Mustache Template Renderer☆49Updated 6 months ago
- Guile numerical arrays and tensor extension☆54Updated 2 months ago
- emacs package for pattern-based rewriting of sexp-structured code☆37Updated 3 years ago
- R7RS/R6RS Scheme Implementation☆60Updated last year
- simple parser combinators for Common Lisp☆25Updated 7 years ago
- ☆19Updated last month
- Lua language front-end rebirth on Guile platform☆21Updated 6 years ago
- Don't Lisp, Talk!☆57Updated last year
- Scheme library collection with yearly stable releases☆17Updated 2 years ago
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago