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
- An R5RS Scheme in JavaScript.☆17Feb 7, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A universal S-expression parser for Ruby.☆54Jan 10, 2024Updated 2 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
- 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
- [UNMAINTAINED] A Yesod/Haskell based CMS☆21Nov 18, 2014Updated 11 years ago
- Delaunay Triangulation based on Bowyer–Watson algorithm☆10Apr 9, 2015Updated 11 years ago
- Start☆16May 31, 2016Updated 10 years ago
- IndexedDB package for Elm☆11Jan 22, 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.
- Haskell DataDog client library☆19Mar 30, 2022Updated 4 years ago
- A lightweight solution for handling and storing money.☆46Jan 4, 2022Updated 4 years ago
- Library to easily intercept Elixir function calls☆43Apr 26, 2021Updated 5 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 8 years ago
- Improve your Print Debugging☆42Dec 25, 2025Updated 6 months ago
- Render Mapbox vector tiles using MapCSS☆15May 13, 2015Updated 11 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 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.
- The Codebase UI that ships with UCM☆21May 20, 2026Updated last month
- Ruby with Logic, a prolog-style logic programming system for Ruby☆31Nov 30, 2017Updated 8 years ago
- A Quick Demo of doing Direct Digital Synthesis on an AVR / Arduino☆13Feb 13, 2016Updated 10 years ago
- ☆13Jul 7, 2019Updated 7 years ago
- Sentry client for Erlang☆24Feb 27, 2024Updated 2 years ago
- Scheme Compiler based on Henry Baker's Cheney on the M.T.A. concept☆24Sep 29, 2011Updated 14 years ago
- FeatureFlipper helps you flipping features☆54Jul 2, 2021Updated 5 years ago
- Take a peek at HN/知乎日报/V2EX/SBBS within Emacs☆13Jun 7, 2015Updated 11 years ago
- Simple Inkscape extension to convert nodes of paths to x,y coordinates☆14Mar 13, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- RubyVersion | Better than RUBY_VERSION☆15Apr 7, 2023Updated 3 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
- Simple Vive Base Station 1.0 tracking☆17Jun 23, 2021Updated 5 years ago
- PCB files for the Adafruit Si5351A Clock Generator Breakout☆16May 22, 2019Updated 7 years ago
- A Light PHP Library☆24Sep 30, 2014Updated 11 years ago
- ☆13Jun 25, 2024Updated 2 years ago