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
Sorting:
- MiniKanren implementation in Ruby☆40Jan 28, 2016Updated 10 years ago
- A port of microKanren to Ruby☆29Jan 23, 2015Updated 11 years ago
- The blog that's almost nothing - now using CouchDB☆46Feb 28, 2010Updated 16 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Monitor the progress of remote, long-running jobs.☆23Mar 24, 2025Updated 11 months ago
- Provides a set of convenient helpers and active model additions for working with multiple languages☆19Dec 6, 2012Updated 13 years ago
- mini-TCP stack in Ruby, for fun☆10Nov 26, 2015Updated 10 years ago
- Ruby with Logic, a prolog-style logic programming system for Ruby☆31Nov 30, 2017Updated 8 years ago
- An appetizing hybrid of XQuery and XSLT☆20Apr 18, 2013Updated 12 years ago
- Ruby gem that reads in files to produce an index of methods and classes.☆17Jun 10, 2019Updated 6 years ago
- a Path manipulation library☆34Jan 16, 2026Updated last month
- Pure-ruby implementation of sigstore verification☆28Feb 3, 2026Updated 3 weeks ago
- Simple, suckless-style color grabber☆24Jan 17, 2021Updated 5 years ago
- A Ruby implementation of dual numbers.☆17Sep 7, 2019Updated 6 years ago
- An object-oriented Ruby AST extension for Parser☆68Aug 11, 2020Updated 5 years ago
- Transparent Test Spies for Ruby☆28Aug 14, 2019Updated 6 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Generative/property-based testing for RSpec☆69Jan 25, 2022Updated 4 years ago
- more intuitive testing helper library for Rack app☆24Sep 14, 2024Updated last year
- A simple way to think (HTML5 blog engine).☆53Apr 11, 2012Updated 13 years ago
- Test based API documentation generator for Ruby/Rack web apps☆29May 30, 2019Updated 6 years ago
- Vim syntax plugin for ponylang☆31Sep 26, 2017Updated 8 years ago
- Plugin that adds BCrypt authentication and password hashing to Sequel models.☆34Jun 23, 2019Updated 6 years ago
- Simple Ruby implementations of some common monads.☆614Sep 8, 2019Updated 6 years ago
- Relieve the stress on your eyes when using Buildkite with this custom dark theme!☆10Sep 5, 2024Updated last year
- A web console for Rack apps.☆30Oct 19, 2024Updated last year
- Adds matcher support to minitest without all the other RSpec-style expectation "infections."☆38Jan 8, 2026Updated last month
- Implement a multi-threaded HTTP web server based on boss-worker thread pattern in C, using pthread library.☆12Sep 26, 2012Updated 13 years ago
- A constraint solver for Ruby☆63Aug 25, 2021Updated 4 years ago
- Workshop: Using R/tidyverse to analyze & visualize gapminder/processed transcriptomics data!☆13Sep 12, 2025Updated 5 months ago
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 4 months ago
- ☆12Nov 7, 2022Updated 3 years ago
- Override methods while maintaining their original visibility☆36Apr 12, 2020Updated 5 years ago
- A simple elasticsearch frontend for serving astrophysical simulation catalog data☆10Aug 29, 2025Updated 6 months ago
- Long term HPSS archiving tool for E3SM☆11Feb 3, 2026Updated 3 weeks ago
- HTSlib bindings for Ruby☆11Jan 13, 2026Updated last month
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 6 months ago
- Gatsby & TS site to showcase all my YouTube videos and book reviews☆10Updated this week
- Sample Level Analysis of Pathway Alteration Enrichments☆10Jan 21, 2019Updated 7 years ago