Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
☆12Dec 30, 2025Updated 10 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:
- Chicken 5 virtual environments☆18Apr 17, 2021Updated 5 years ago
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 4 years ago
- MessagePack Emacs Lisp library☆10Jul 6, 2026Updated 4 months ago
- 🔌 Server-side implementation of the JSON-RPC 2.0 protocol for Emacs.☆11Feb 5, 2022Updated 4 years ago
- Bindings to Instagram's API☆11Feb 19, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Self-tail recursion optimization in emacs.☆34Jun 14, 2012Updated 14 years ago
- Racket-style higher-order contracts for Emacs Lisp☆16Jun 20, 2021Updated 5 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Updated this week
- Maildir backend for Gnus☆10Jan 27, 2021Updated 5 years ago
- CHICKEN Scheme bindings to libui☆13Apr 26, 2020Updated 6 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆23Jul 12, 2022Updated 4 years ago
- 🎙️ Talon config for coding by voice. Work in progress, unstable, I will force-push. Not intended for general consumption.☆11Jun 10, 2026Updated 4 months ago
- Automatically exported from code.google.com/p/forestbus.server☆10Sep 6, 2015Updated 11 years ago
- Jenga rules from Jane Street☆10Aug 13, 2018Updated 8 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.
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 14 years 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
- 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
- Add index hint to MySQL query in Arel.☆12Apr 28, 2016Updated 10 years ago
- A web-based Lisp interpreter with a "terminal" interface☆10Nov 12, 2025Updated 11 months ago
- Automatically exported from code.google.com/p/scheme-complete☆17Dec 5, 2024Updated last year
- Recursive descent parser for Emacs Lisp☆18Sep 29, 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
- 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.
- Doctests for Emacs Lisp☆25Feb 3, 2024Updated 2 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 11 years ago
- ☆17Updated this 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
- Update elisp code to use cl-lib instead of cl☆12Apr 22, 2026Updated 6 months ago
- CHICKEN Scheme bindings for wlroots☆20Sep 7, 2020Updated 6 years ago
- Rust bindings for LiquidFun.☆16Aug 5, 2017Updated 9 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An experiment in using DuckDB for a datalog / egg☆26Oct 11, 2023Updated 3 years ago
- R7RS expander☆18Aug 18, 2021Updated 5 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 9 years ago
- Small DNS server to lookup local network IPs by their MAC addresses☆22Oct 2, 2024Updated 2 years ago
- FORTH in Zig☆20Oct 26, 2026Updated last week
- Common Lisp interface to ALSA MIDI.☆14Mar 12, 2024Updated 2 years ago
- OCaml from the Very Beginning☆52Aug 27, 2025Updated last year