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
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 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
- 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.
- SOM - Simple Object Machine☆24Aug 31, 2025Updated 7 months 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
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 10 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- [UNMAINTAINED] A Yesod/Haskell based CMS☆21Nov 18, 2014Updated 11 years ago
- AlphaSphere software☆18Sep 27, 2025Updated 6 months ago
- A lightweight solution for handling and storing money.☆46Jan 4, 2022Updated 4 years ago
- Start☆16May 31, 2016Updated 9 years 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.
- IndexedDB package for Elm☆10Jan 22, 2018Updated 8 years ago
- Haskell DataDog client library☆19Mar 30, 2022Updated 4 years ago
- Library to easily intercept Elixir function calls☆43Apr 26, 2021Updated 4 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- Re-implementation of tasky in F#.☆21Oct 10, 2014Updated 11 years ago
- Improve your Print Debugging☆42Dec 25, 2025Updated 3 months ago
- The Codebase UI that ships with UCM☆20Feb 24, 2026Updated last month
- A Quick Demo of doing Direct Digital Synthesis on an AVR / Arduino☆13Feb 13, 2016Updated 10 years ago
- Scheme Compiler based on Henry Baker's Cheney on the M.T.A. concept☆23Sep 29, 2011Updated 14 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.
- Simple Inkscape extension to convert nodes of paths to x,y coordinates☆13Mar 13, 2023Updated 3 years ago
- RubyVersion | Better than RUBY_VERSION☆15Apr 7, 2023Updated 3 years ago
- ☆18May 8, 2015Updated 10 years ago
- ☆10Jun 26, 2017Updated 8 years ago
- PAM module. If bad guys will force you to unlock, you can use this module to run some command before unlock using "secret" credits.☆13May 10, 2024Updated last year
- Social timeboxing for IRC channels☆19Sep 8, 2024Updated last year
- A type-safe Haskell client for the Shopify API.☆12Jan 5, 2015Updated 11 years ago
- ☆13Jun 25, 2024Updated last year
- A Bridgetown plugin to generate an Atom feed of your Bridgetown posts☆23Oct 7, 2025Updated 6 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.
- Parametric OpenSCAD model for making coil forms for coax-traps for wire antennas.☆17Jun 25, 2020Updated 5 years ago
- A wrapper around the OS X security library☆21May 13, 2011Updated 14 years ago
- A Ruby DSL for the Neo4j Cypher query language☆27May 12, 2014Updated 11 years ago
- Ruby extension for GNU dbm.☆17Apr 7, 2026Updated last week
- 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
- leveldb FUSE filesystem☆17May 15, 2014Updated 11 years ago