Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
☆45May 29, 2023Updated 2 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:
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆130Feb 5, 2013Updated 13 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- Monads for scheme☆30Oct 5, 2024Updated last year
- 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
- 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.
- ☆22Nov 12, 2017Updated 8 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Aug 19, 2025Updated 9 months ago
- Racket libraries☆15Nov 5, 2025Updated 6 months ago
- Canonical miniKanren implementation☆367Apr 11, 2018Updated 8 years ago
- Pier3 is a CMS - http://www.piercms.com/☆12Apr 9, 2026Updated last month
- An example Ruby implementation of μKanren.☆24Sep 7, 2019Updated 6 years ago
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years ago
- Code and slides for Codemania 'Monads to the Rescue' presentation☆21May 12, 2014Updated 12 years ago
- ☆10Jun 17, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python framework code for cs173/fall 2012☆17Dec 4, 2012Updated 13 years ago
- is a set of utility styles for React Native + Clojurescript.☆11Feb 20, 2016Updated 10 years ago
- Database drivers for the Pharo language☆11Jan 7, 2020Updated 6 years ago
- A thin ClojureScript wrapper around the React Native API☆39Mar 26, 2019Updated 7 years ago
- ☆14Nov 4, 2025Updated 6 months ago
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Nov 23, 2012Updated 13 years ago
- Experiments to simplify the DX of react-apollo☆18Nov 17, 2016Updated 9 years ago
- PICO8 inspired live coded thick pixel visual instrument☆38Jan 1, 2021Updated 5 years ago
- A back end as a service based on MongoDB☆58Aug 18, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7☆54Feb 17, 2024Updated 2 years ago
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- The Kent Retargetable occam Compiler☆47Feb 19, 2022Updated 4 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- Benchmarks and faster constructs for Clojure☆14Apr 9, 2018Updated 8 years ago
- NetMash is an Object Network implementation in Java for Android and Linux.☆28Nov 27, 2018Updated 7 years ago
- Run Windows plugins in NPAPI plugin-compatible *nix browsers☆18Sep 10, 2019Updated 6 years ago
- cpufuzz is a dumb, simple and portable CPU fuzzer☆11Jan 27, 2019Updated 7 years ago
- Rubik's cube solver using Scheme☆20Apr 21, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆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
- Swift implementation of Sodium FRP (Functional Reactive Programming) library☆14Oct 19, 2016Updated 9 years ago
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- WorstPractices.js -- A library to cause all the problems you didn't know you had☆14Mar 24, 2016Updated 10 years ago