An example Ruby implementation of μKanren.
☆24Sep 7, 2019Updated 6 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
- Provides a set of convenient helpers and active model additions for working with multiple languages☆19Dec 6, 2012Updated 13 years ago
- Monitor the progress of remote, long-running jobs.☆23Mar 24, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Roda & Sequel app for tracking expenses☆16Jun 1, 2025Updated 10 months ago
- Simple memoization in Ruby using prepended modules and super.☆16Jul 7, 2022Updated 3 years ago
- Soundex (Phonetic) Algorithm for Portuguese Spelling Strings☆14Apr 6, 2019Updated 7 years ago
- ☆15Jan 2, 2022Updated 4 years ago
- Notification of new, unread email using Ruby, Net/IMAP, and terminal-notifier/ruby-growl.☆15May 4, 2020Updated 5 years ago
- Advent of Code 2016, in Haskell☆15Oct 7, 2017Updated 8 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- ☆13Sep 10, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Ruby gem that reads in files to produce an index of methods and classes.☆17Jun 10, 2019Updated 6 years ago
- Delaunay Triangulation based on Bowyer–Watson algorithm☆10Apr 9, 2015Updated 11 years ago
- The blog that's almost nothing - now using CouchDB☆46Feb 28, 2010Updated 16 years ago
- A bare minimum ReasonML + Express.js boilerplate☆16Dec 10, 2022Updated 3 years ago
- Override methods while maintaining their original visibility☆36Apr 12, 2020Updated 5 years ago
- Simple Ruby implementations of some common monads.☆613Sep 8, 2019Updated 6 years ago
- A library for working with Abstract Syntax Trees.☆200Mar 19, 2025Updated last year
- Crazy experiment, ignore unless you know better☆37Jul 5, 2018Updated 7 years ago
- Demo Rails app using Im to isolate Rails application constants under a single toplevel namespace☆20Feb 12, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- a sinatra/couchdb wiki☆31Jan 18, 2023Updated 3 years ago
- A dynamic Rack server and helper methods to help testing Rack apps.☆17Jul 27, 2016Updated 9 years ago
- Rails Application Template☆16Aug 2, 2017Updated 8 years ago
- A text and media analysis service for Meedan Check, a collaborative media annotation platform☆15Mar 2, 2026Updated last month
- Isolated tests in Ruby.☆152Jun 17, 2017Updated 8 years ago
- A very simple but effective CLI TODO manager.☆25Dec 22, 2020Updated 5 years ago
- A Line adapter for Lita☆15Apr 10, 2017Updated 9 years ago
- Adds matcher support to minitest without all the other RSpec-style expectation "infections."☆38Jan 8, 2026Updated 3 months ago
- An object-oriented Ruby AST extension for Parser☆68Aug 11, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆70May 23, 2025Updated 10 months ago
- A Ruby DSL for the Neo4j Cypher query language☆27May 12, 2014Updated 11 years ago
- Ruby extension for GNU dbm.☆17Updated this week
- my emacs config☆13Jan 9, 2021Updated 5 years ago
- An implementation of pythonish decorators in Ruby☆42Jul 11, 2009Updated 16 years ago
- Simple implementation of Rete algorithm in Haskell.☆17Jan 16, 2025Updated last year
- a Path manipulation library☆34Jan 16, 2026Updated 2 months ago