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
Sorting:
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 3 years ago
- Chicken 5 virtual environments☆16Apr 17, 2021Updated 4 years ago
- Self-tail recursion optimization in emacs.☆33Jun 14, 2012Updated 13 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 10 years ago
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- An experimental, minimalistic microgame about loneliness, made for the Korean middle school students I taught for a year.☆26May 12, 2011Updated 14 years ago
- OCaml from the Very Beginning☆52Aug 27, 2025Updated 6 months ago
- Easy note taking in Vim☆19Nov 6, 2015Updated 10 years ago
- ShairPort Plugin for Squeezebox Server☆18May 30, 2020Updated 5 years ago
- A wc clone in Rust☆10Dec 25, 2015Updated 10 years ago
- ☆10Nov 23, 2024Updated last year
- hmm-filter: Improve classifier predictions for sequential data with Hidden Markov Models (HMMs)☆12Jan 23, 2019Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- Send commands from Vim to Tmux☆11Jun 11, 2015Updated 10 years ago
- Archive and sync content you want to see twice☆10Aug 2, 2017Updated 8 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- DEPRECATED - The Mozilla Integrated Tool Package☆11Mar 30, 2019Updated 6 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
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- L7mp: A L7 multiprotocol proxy and service mesh☆16Dec 12, 2025Updated 2 months ago
- A Haskell implementation of Andrew Kensler's business card raytracer.☆18Oct 12, 2021Updated 4 years ago
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 2 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- Implementation of 9P parser and message writer.☆15Aug 15, 2021Updated 4 years ago
- ☆17Nov 21, 2020Updated 5 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated last month
- Simple Modbus Library for Arduino☆11Jun 29, 2015Updated 10 years ago
- Relational Programming DSL in Scala. Yet another minikanren port!☆15Nov 11, 2016Updated 9 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- Rust Raspberry Pi examples☆13Sep 28, 2015Updated 10 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 9 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- Simple HTML Generation for Python☆13Feb 6, 2026Updated last month