Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
☆12Dec 30, 2025Updated 8 months ago
Alternatives and similar repositories for chicken-miniKanren
Users that are interested in chicken-miniKanren are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 4 years ago
- Chicken 5 virtual environments☆18Apr 17, 2021Updated 5 years ago
- 🔌 Server-side implementation of the JSON-RPC 2.0 protocol for Emacs.☆11Feb 5, 2022Updated 4 years ago
- Racket-style higher-order contracts for Emacs Lisp☆16Jun 20, 2021Updated 5 years ago
- Recursive descent parser for Emacs Lisp☆18Sep 29, 2012Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Add index hint to MySQL query in Arel.☆12Apr 28, 2016Updated 10 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆23Jul 12, 2022Updated 4 years ago
- Self-tail recursion optimization in emacs.☆34Jun 14, 2012Updated 14 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jul 10, 2026Updated 2 months ago
- Some of my SBCL stuff, pending merging into the official tree. Any and all branches may be rebased/reset semi-randomly, so be warned!☆12Feb 2, 2013Updated 13 years ago
- CHICKEN Scheme bindings to libui☆13Apr 26, 2020Updated 6 years ago
- 🎙️ Talon config for coding by voice. Work in progress, unstable, I will force-push. Not intended for general consumption.☆11Jun 10, 2026Updated 3 months ago
- Maildir backend for Gnus☆10Jan 27, 2021Updated 5 years ago
- 8kLisp is a very compact CP/M Lisp implementation, whose object code size is - as the name says - exactly 8 kBytes☆13Feb 10, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automatically exported from code.google.com/p/forestbus.server☆11Sep 6, 2015Updated 11 years ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 14 years ago
- A simple html template parser for TCL (inspired from Python Django)☆13Mar 12, 2018Updated 8 years ago
- A proof of concept text editor from scratch on a breadboard using ATmega328 and avrforth☆10Mar 25, 2018Updated 8 years ago
- A JavaScript port of most of Rainbow (conanite's JVM-based Arc implementation).☆22Feb 1, 2022Updated 4 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 11 years ago
- Update elisp code to use cl-lib instead of cl☆12Apr 22, 2026Updated 5 months ago
- ☆17Jul 10, 2026Updated 2 months ago
- Doctests for Emacs Lisp☆25Feb 3, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Embed typed ASN.1 grammars in OCaml☆36Sep 14, 2026Updated last week
- Create free (as in freedom) RPGs with GNU Emacs. And then play them.☆74Aug 28, 2023Updated 3 years ago
- paredit-like commands for C-like languages☆24Aug 16, 2020Updated 6 years ago
- R7RS expander☆18Aug 18, 2021Updated 5 years ago
- Automatically exported from code.google.com/p/scheme-complete☆17Dec 5, 2024Updated last year
- CHICKEN Scheme bindings for wlroots☆19Sep 7, 2020Updated 6 years ago
- OCaml from the Very Beginning☆52Aug 27, 2025Updated last year
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- Common Lisp interface to ALSA MIDI.☆14Mar 12, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- miniKanren for Emacs☆118Jan 1, 2026Updated 8 months ago
- convert gmail contacts to BBDB file, easy to use, robust, no dependency☆23Apr 23, 2017Updated 9 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- OCaml tutorial based on the 2048 game☆49Oct 4, 2016Updated 9 years ago
- Rust bindings for LiquidFun.☆16Aug 5, 2017Updated 9 years ago
- A batteries-included extended standard library for seven R7RS Scheme dialects.☆103May 12, 2021Updated 5 years ago
- FORTH in Zig☆20Updated this week