Various implementations of microKanren
☆23Feb 19, 2017Updated 9 years ago
Alternatives and similar repositories for kanrens
Users that are interested in kanrens are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a mini minikanren☆26Aug 9, 2013Updated 12 years ago
- A logic programming library (inspired by uKanren) in Rust.☆20Feb 6, 2016Updated 10 years ago
- A tiny self-hosted compiler☆17Dec 29, 2016Updated 9 years ago
- Distributed game of life (inspired by Torben Hoffman's solution found at https://github.com/lehoff/egol)☆11Aug 13, 2015Updated 10 years ago
- Example using hyperdb with webrtc swarm☆10Jul 17, 2018Updated 8 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.
- Describing lambda-calculus using ES6 arrow notation☆25Dec 21, 2021Updated 4 years ago
- A fuzzer for the Rust compiler. Mostly for my own entertainment.☆12Mar 28, 2015Updated 11 years ago
- fetch API as a Task.☆11Jan 18, 2022Updated 4 years ago
- Style React DOM components with JS☆21Dec 15, 2016Updated 9 years ago
- Render interfaces using pure functions and virtual DOM☆46May 21, 2017Updated 9 years ago
- Lift React components to take flyd streams.☆23May 24, 2017Updated 9 years ago
- A port of microKanren to Ruby☆29Jan 23, 2015Updated 11 years ago
- Plain Rust implementations of basic machine learning algorithms☆17Mar 13, 2019Updated 7 years ago
- Composable CSS Animations Built On animate.css☆15May 2, 2016Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An RFC that proposes an idea for a new open source programming language called MiniScript☆10Dec 5, 2020Updated 5 years ago
- A Reactive Toolkit☆11Aug 26, 2015Updated 10 years ago
- ☆45Jan 17, 2017Updated 9 years ago
- ☆12Mar 12, 2015Updated 11 years ago
- Strong and addictive dependency injection for JavaScript☆26Nov 25, 2015Updated 10 years ago
- ☆14Jun 2, 2026Updated last month
- ☆15Aug 3, 2024Updated last year
- Witches Town extended extended informations☆12Apr 1, 2018Updated 8 years ago
- An experiment to create a mutation-free, immutable, virtual-dom implementation☆16Aug 29, 2016Updated 9 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.
- My entry for Ludum Dare 35☆13Apr 17, 2016Updated 10 years ago
- Nicer web worker API☆19Aug 21, 2013Updated 12 years ago
- Given/When/Then built on top of minitest's spec DSL.☆15Jan 19, 2013Updated 13 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- An incrementally adoptable framework for building production React sites.☆11Apr 8, 2019Updated 7 years ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- vedis binding by mruby☆36Feb 23, 2023Updated 3 years ago
- A simple UFO font editor in Rust+GTK. (work in progress)☆12Jan 4, 2018Updated 8 years ago
- Create a RAF loop for virtual-dom☆19Jan 21, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Live Editing for Node.js and Browsers☆15Dec 31, 2016Updated 9 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Conditions for Haskell☆15Mar 18, 2015Updated 11 years ago
- An implementation of the "rose tree" data structure for Rust.☆25Aug 3, 2021Updated 4 years ago
- Functional Javascript Library☆18Aug 9, 2014Updated 11 years ago
- Command-line tool for css-doodle to preview and generate images/videos.☆21Feb 1, 2026Updated 5 months ago
- translation utility☆16Mar 17, 2014Updated 12 years ago