Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
☆11Dec 30, 2025Updated 2 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☆16Apr 17, 2021Updated 4 years ago
- Self-tail recursion optimization in emacs.☆33Jun 14, 2012Updated 13 years ago
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 3 years ago
- 🔌 Server-side implementation of the JSON-RPC 2.0 protocol for Emacs.☆11Feb 5, 2022Updated 4 years ago
- paredit-like commands for C-like languages☆24Aug 16, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Recursive descent parser for Emacs Lisp☆18Sep 29, 2012Updated 13 years ago
- Racket-style higher-order contracts for Emacs Lisp☆16Jun 20, 2021Updated 4 years ago
- Bindings to Instagram's API☆11Feb 19, 2018Updated 8 years ago
- Add index hint to MySQL query in Arel.☆12Apr 28, 2016Updated 9 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated 2 months ago
- CHICKEN Scheme bindings to libui☆13Apr 26, 2020Updated 5 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
- 🎙️ Talon config for coding by voice. Work in progress, unstable, I will force-push. Not intended for general consumption.☆11Dec 22, 2025Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 13 years ago
- Automatically exported from code.google.com/p/forestbus.server☆11Sep 6, 2015Updated 10 years ago
- ☆10Jan 24, 2016Updated 10 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
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 10 years ago
- Enter the context of exceptions☆49Feb 28, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Update elisp code to use cl-lib instead of cl☆12Nov 7, 2024Updated last year
- Clojure solutions to Project Euler problems☆18Jan 1, 2014Updated 12 years ago
- A JavaScript port of most of Rainbow (conanite's JVM-based Arc implementation).☆22Feb 1, 2022Updated 4 years ago
- Doctests for Emacs Lisp☆25Feb 3, 2024Updated 2 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- Algebraic Data Types for Ruby☆74Jan 15, 2015Updated 11 years ago
- Create free (as in freedom) RPGs with GNU Emacs. And then play them.☆74Aug 28, 2023Updated 2 years ago
- CHICKEN Scheme bindings for wlroots☆19Sep 7, 2020Updated 5 years ago
- R7RS expander☆17Aug 18, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- OCaml from the Very Beginning☆52Aug 27, 2025Updated 7 months ago
- Automatically exported from code.google.com/p/scheme-complete☆17Dec 5, 2024Updated last year
- Common Lisp interface to ALSA MIDI.☆14Mar 12, 2024Updated 2 years ago
- miniKanren for Emacs☆115Jan 1, 2026Updated 2 months ago
- Ruby interface into WebSphere MQ☆32Jul 31, 2018Updated 7 years ago
- Rust bindings for LiquidFun.☆15Aug 5, 2017Updated 8 years ago