ThatGeoGuy / chicken-miniKanrenView external linksLinks
Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
☆11Dec 30, 2025Updated last month
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
- 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
- tool for postgres to automatically build rest services and web forms☆13Feb 3, 2026Updated last week
- OCaml from the Very Beginning☆52Aug 27, 2025Updated 5 months ago
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- ShairPort Plugin for Squeezebox Server☆18May 30, 2020Updated 5 years ago
- 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 wc clone in Rust☆10Dec 25, 2015Updated 10 years ago
- Easy note taking in Vim☆19Nov 6, 2015Updated 10 years ago
- ☆10Nov 23, 2024Updated last year
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last week
- QR code 2005 encoder in Emacs Lisp☆10Feb 7, 2016Updated 10 years ago
- L7mp: A L7 multiprotocol proxy and service mesh☆16Dec 12, 2025Updated 2 months ago
- Simple HTML Generation for Python☆13Feb 6, 2026Updated last week
- Send commands from Vim to Tmux☆11Jun 11, 2015Updated 10 years ago
- Bindings to Instagram's API☆11Feb 19, 2018Updated 7 years ago
- Archive and sync content you want to see twice☆10Aug 2, 2017Updated 8 years ago
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- Simple Modbus Library for Arduino☆10Jun 29, 2015Updated 10 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- DEPRECATED - The Mozilla Integrated Tool Package☆11Mar 30, 2019Updated 6 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- Cap'n Proto RPC in pure Java☆13Nov 21, 2025Updated 2 months ago
- The SST Effects Repo☆15Feb 9, 2026Updated last week
- A plugin to debug program with gdb by using vim☆29Sep 11, 2016Updated 9 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- ☆11May 2, 2019Updated 6 years ago
- Rust Raspberry Pi examples☆13Sep 28, 2015Updated 10 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago