Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
☆45May 29, 2023Updated 3 years ago
Alternatives and similar repositories for simple-miniKanren
Users that are interested in simple-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:
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- Summaries of intro and advanced miniKanren hangout series☆29Dec 18, 2017Updated 8 years ago
- Canonical miniKanren implementation in Racket☆87Sep 21, 2021Updated 4 years ago
- ☆22Nov 12, 2017Updated 8 years ago
- Racket libraries☆15Nov 5, 2025Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Canonical miniKanren implementation☆367Apr 11, 2018Updated 8 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 5 years ago
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 11 years ago
- Code and slides for Codemania 'Monads to the Rescue' presentation☆21May 12, 2014Updated 12 years ago
- LiveWeb: web app framework for Smalltalk☆13Feb 1, 2024Updated 2 years ago
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- ☆14Nov 4, 2025Updated 7 months ago
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Nov 23, 2012Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Picoboard☆14Jun 27, 2025Updated 11 months ago
- Experiments to simplify the DX of react-apollo☆18Nov 17, 2016Updated 9 years ago
- A back end as a service based on MongoDB☆58Aug 18, 2015Updated 10 years ago
- Math functions for Glisy☆14Aug 11, 2016Updated 9 years ago
- SCC: Strip C Comments — Snapshots☆35May 30, 2022Updated 4 years ago
- FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7☆54Feb 17, 2024Updated 2 years ago
- The Kent Retargetable occam Compiler☆46Feb 19, 2022Updated 4 years ago
- Benchmarks and faster constructs for Clojure☆14Apr 9, 2018Updated 8 years ago
- Elixir-based SPA sites without the SPA☆10Jan 6, 2023Updated 3 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.
- A demo of how to have a twitter like search using React Native DB Models Event Emitter☆12Jul 2, 2015Updated 10 years ago
- cpufuzz is a dumb, simple and portable CPU fuzzer☆11Jan 27, 2019Updated 7 years ago
- ☆10Mar 14, 2016Updated 10 years ago
- Nustack is a stack-oriented concatenative programming language with support for high-level modular programming and Python integration.☆13Mar 16, 2016Updated 10 years ago
- A repo containing Scratch Cloud Services☆10Aug 10, 2017Updated 8 years ago
- ☆16May 1, 2021Updated 5 years ago
- A fast, declarative framework for writing web servers, no taradiddles.☆12Jun 15, 2018Updated 7 years ago
- Python scripting and programming examples using the joulescope package☆17Feb 4, 2025Updated last year
- A compiler from Forth to Scratch☆22Aug 17, 2016Updated 9 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.
- EDN I/O library for Objective-C (MacOS and iOS)☆31Jan 29, 2025Updated last year
- A fast push/shift sync queue☆30Oct 18, 2021Updated 4 years ago
- a barebones bootable platform to run the frotz z-code interpreter inside a VM☆18Oct 17, 2016Updated 9 years ago
- ☆16Sep 6, 2017Updated 8 years ago
- Native dependencies plugin for Leiningen☆29Aug 15, 2011Updated 14 years ago
- Clockwork Oracle mod for the game Sunless Sea☆11Dec 1, 2022Updated 3 years ago
- ☆16May 7, 2020Updated 6 years ago