MiniKanren implementation in Ruby
☆40Jan 28, 2016Updated 10 years ago
Alternatives and similar repositories for mini_kanren
Users that are interested in mini_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:
- A port of microKanren to Ruby☆29Jan 23, 2015Updated 11 years ago
- An example Ruby implementation of μKanren.☆24Sep 7, 2019Updated 6 years ago
- Advent of Code 2016, in Haskell☆15Oct 7, 2017Updated 8 years ago
- A powerful charting framework to easily add charts to your rails/merb applications☆54Oct 13, 2010Updated 15 years ago
- SOM - Simple Object Machine☆24Aug 31, 2025Updated 8 months 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.
- Source code for algorithmic music release on Xylem Records.☆18Sep 22, 2015Updated 10 years ago
- HTTP middleware for Scheme/Gambit/Black Hole, inspired by Ruby's Rack. Includes a HTTP client.☆18May 21, 2012Updated 13 years ago
- Support classes and extensions used in travis-ci☆29Feb 27, 2024Updated 2 years ago
- An R5RS Scheme in JavaScript.☆17Feb 7, 2026Updated 2 months ago
- A universal S-expression parser for Ruby.☆54Jan 10, 2024Updated 2 years ago
- An implementation of Fourier Transforms in pure Clojure☆16Jan 15, 2017Updated 9 years ago
- Web application for making music using Sonic Pi collaboratively☆12Mar 27, 2016Updated 10 years ago
- Nyan Cat flies across your terminal while your RSpec specs run!☆13Oct 21, 2011Updated 14 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Command line tool and Python library for extrapolating sidewalk lines from annotated streets☆15Dec 8, 2022Updated 3 years ago
- AlphaSphere software☆18Sep 27, 2025Updated 7 months ago
- Just the language names and colors from github-lingust☆24Mar 29, 2018Updated 8 years ago
- Sonic Pi - Leuphana WS15/16☆15May 29, 2016Updated 9 years ago
- A lightweight solution for handling and storing money.☆47Jan 4, 2022Updated 4 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- Re-implementation of tasky in F#.☆21Oct 10, 2014Updated 11 years ago
- Crazy experiment, ignore unless you know better☆37Jul 5, 2018Updated 7 years ago
- Render Mapbox vector tiles using MapCSS☆15May 13, 2015Updated 10 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.
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- A Quick Demo of doing Direct Digital Synthesis on an AVR / Arduino☆13Feb 13, 2016Updated 10 years ago
- TabSpace layout for the Handykey Twiddler 2.1☆22Aug 21, 2010Updated 15 years ago
- FeatureFlipper helps you flipping features☆54Jul 2, 2021Updated 4 years ago
- ☆18Dec 22, 2020Updated 5 years ago
- ☆18May 8, 2015Updated 10 years ago
- A type-safe Haskell client for the Shopify API.☆12Jan 5, 2015Updated 11 years ago
- ☆13Jun 25, 2024Updated last year
- A Ruby DSL for the Neo4j Cypher query language☆27May 12, 2014Updated 11 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.
- Ruby extension for GNU dbm.☆17Apr 21, 2026Updated 2 weeks 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 Phoenix framework pre-launch example application.☆12Nov 16, 2015Updated 10 years ago
- ☆61Jul 12, 2017Updated 8 years ago
- ☆41Sep 24, 2025Updated 7 months ago
- An interpolatable Envelope type along with a generic 2D Point, useful for controlling parameters over time.☆13Jul 3, 2016Updated 9 years ago