An example Ruby implementation of μKanren.
☆24Sep 7, 2019Updated 7 years ago
Alternatives and similar repositories for kanren
Users that are interested in kanren are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MiniKanren implementation in Ruby☆40Jan 28, 2016Updated 10 years ago
- Ruby with Logic, a prolog-style logic programming system for Ruby☆31Nov 30, 2017Updated 8 years ago
- A port of microKanren to Ruby☆29Jan 23, 2015Updated 11 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Given/When/Then built on top of minitest's spec DSL.☆15Jan 19, 2013Updated 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.
- Various implementations of microKanren☆23Feb 19, 2017Updated 9 years ago
- Simple memoization in Ruby using prepended modules and super.☆16Jul 7, 2022Updated 4 years ago
- the most useless hubot script☆16Jul 15, 2014Updated 12 years ago
- Pre-configured basic Rails project which aims to initialize a new project fast and painless - simply fork it!☆13Jan 19, 2023Updated 3 years ago
- ☆13Sep 10, 2021Updated 5 years ago
- Monitor the progress of remote, long-running jobs.☆23Mar 24, 2025Updated last year
- Better Compass integration for Sinatra (extracted from BigBand).☆17Mar 29, 2013Updated 13 years ago
- Notification of new, unread email using Ruby, Net/IMAP, and terminal-notifier/ruby-growl.☆15May 4, 2020Updated 6 years ago
- A shared house style for Ruby projects☆20Aug 6, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Override methods while maintaining their original visibility☆36Apr 12, 2020Updated 6 years ago
- Demo Rails app using Im to isolate Rails application constants under a single toplevel namespace☆20Feb 12, 2023Updated 3 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆45May 29, 2023Updated 3 years ago
- Find missing translations in your code more easily.☆32Oct 17, 2015Updated 11 years ago
- A text and media analysis service for Meedan Check, a collaborative media annotation platform☆15Sep 28, 2026Updated last month
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆130Feb 5, 2013Updated 13 years ago
- An seL4 reference webserver application☆11Jul 22, 2026Updated 3 months ago
- Highlight.js optimized for browserify and react.☆11Aug 12, 2016Updated 10 years ago
- A Line adapter for Lita☆15Apr 10, 2017Updated 9 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.
- Rails Application Template☆16Aug 2, 2017Updated 9 years ago
- tokyorails web site. a simple project for the tokyo rails community to collaborate, learn and experiment with☆34Jan 3, 2023Updated 3 years ago
- ☆14Aug 1, 2014Updated 12 years ago
- ⬜️ base64 image placeholders☆12Feb 17, 2017Updated 9 years ago
- Get an heatmap of your keystrokes☆11May 20, 2022Updated 4 years ago
- ZSH plugin to remove files from projects (automatically by default)☆11Feb 1, 2018Updated 8 years ago
- Dissolve all visible macOS windows into floating embers via a Metal shader.☆14Apr 15, 2026Updated 6 months ago
- Full audit of installed software on macOS☆12May 2, 2026Updated 5 months ago
- Witches Town extended extended informations☆12Apr 1, 2018Updated 8 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.
- Generate nginx server configs on a per (rails) app basis☆11Sep 22, 2014Updated 12 years ago
- Vale's generational reference allocator as a Rust library☆16Jul 8, 2023Updated 3 years ago
- Multiplayer tron game☆13Nov 18, 2015Updated 10 years ago
- Test based API documentation generator for Ruby/Rack web apps☆29May 30, 2019Updated 7 years ago
- Font for turning J into APL☆11Sep 30, 2018Updated 8 years ago
- A bare minimum ReasonML + Express.js boilerplate☆16Dec 10, 2022Updated 3 years ago
- 🌸 Mina plugin for Hanami☆12Oct 17, 2021Updated 5 years ago