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
- Use the power of Ruby to convert, edit and save synthdefs for SuperCollider☆10Mar 4, 2018Updated 8 years ago
- SOM - Simple Object Machine☆24May 16, 2026Updated 3 weeks 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.
- HTTP middleware for Scheme/Gambit/Black Hole, inspired by Ruby's Rack. Includes a HTTP client.☆18May 21, 2012Updated 14 years ago
- Source code for algorithmic music release on Xylem Records.☆18Sep 22, 2015Updated 10 years ago
- QuickMagick is a gem built by BadrIT (http://www.badrit.com/) for easily accessing ImageMagick command line tools from Ruby programs.☆33Oct 31, 2010Updated 15 years ago
- An R5RS Scheme in JavaScript.☆17Feb 7, 2026Updated 4 months ago
- An implementation of Fourier Transforms in pure Clojure☆16Jan 15, 2017Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 11 years ago
- Ruby wrapper for ClamAV's clamscan/clamdscan.☆14Apr 29, 2017Updated 9 years ago
- Web application for making music using Sonic Pi collaboratively☆12Mar 27, 2016Updated 10 years ago
- Ruby library for parsing JSON-API☆12Jun 17, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Command line tool and Python library for extrapolating sidewalk lines from annotated streets☆16Dec 8, 2022Updated 3 years ago
- Delaunay Triangulation based on Bowyer–Watson algorithm☆10Apr 9, 2015Updated 11 years ago
- AlphaSphere software☆18Sep 27, 2025Updated 8 months ago
- Just the language names and colors from github-lingust☆24Mar 29, 2018Updated 8 years ago
- Start☆16May 31, 2016Updated 10 years ago
- Haskell DataDog client library☆19Mar 30, 2022Updated 4 years ago
- A lightweight solution for handling and storing money.☆46Jan 4, 2022Updated 4 years 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.
- Library to easily intercept Elixir function calls☆43Apr 26, 2021Updated 5 years ago
- iRepEmulator is an iPad application that emulates Veeva iRep. It will hit a server with your live content on it for testing in a full scr…☆22Nov 2, 2015Updated 10 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- My config files☆25Jun 8, 2026Updated last week
- Re-implementation of tasky in F#.☆21Oct 10, 2014Updated 11 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- The Codebase UI that ships with UCM☆21May 20, 2026Updated 3 weeks ago
- Ruby with Logic, a prolog-style logic programming system for Ruby☆31Nov 30, 2017Updated 8 years ago
- ☆13Jul 7, 2019Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Sentry client for Erlang☆24Feb 27, 2024Updated 2 years ago
- ☆18Dec 22, 2020Updated 5 years ago
- SFPC Fall Critical Theory—Blackness, Surveillance, and the Whiteness of the Screen☆20Oct 28, 2018Updated 7 years ago
- An elixir powered robot☆24Dec 17, 2015Updated 10 years ago
- [DEPRECATED] The Travis CI blog & documentation website☆153Sep 30, 2020Updated 5 years ago
- ☆18May 8, 2015Updated 11 years ago
- ☆10Jun 26, 2017Updated 8 years ago