An implementation of miniKanren in Haskell
☆81May 18, 2013Updated 13 years ago
Alternatives and similar repositories for MiniKanrenT
Users that are interested in MiniKanrenT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- This project has moved:☆31May 2, 2013Updated 13 years ago
- core.logic.nominal at the minikanren confo 2013☆18Feb 9, 2023Updated 3 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆45May 29, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Show programming language printed values in a web UI☆24May 16, 2019Updated 7 years ago
- Streaming csv parser using cassava and pipes☆21Nov 26, 2015Updated 10 years ago
- Haskell package shipping the standard time zone database & library to use with it☆17Apr 1, 2023Updated 3 years ago
- A Haskell parser for JVM bytecode files☆39Jan 12, 2024Updated 2 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 7 years ago
- A simple library for Haskell that allows relational programming.☆46Sep 12, 2012Updated 13 years ago
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- A MiniKanren in Python☆37Jul 15, 2016Updated 10 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 8 months ago
- Quick example of Eta on Android☆24May 24, 2017Updated 9 years ago
- n queens with the logic monad☆20Jan 10, 2015Updated 11 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆38Oct 25, 2024Updated last year
- Fuzzy string search in Haskell☆14Jan 5, 2024Updated 2 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 11 years ago
- ☆13Jan 7, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 6 years ago
- ☆40Jul 1, 2018Updated 8 years ago
- Generate standalone haddock documentation for a set of packages☆28Jun 27, 2020Updated 6 years ago
- ☆65Jun 24, 2019Updated 7 years ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 9 years ago
- BDD-based implementation of Datalog☆38Jun 14, 2020Updated 6 years ago
- Compositional type checking for Haskell☆39Apr 14, 2011Updated 15 years ago
- Format strings type-safely with combinators☆170Mar 5, 2024Updated 2 years ago
- A Lisp with row polymorphism, delimited continuations, and hygienic macros. [vaporware]☆56Mar 7, 2013Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Markup (HTML and SVG) and DOM manipulation DSL for the Fay subset of Haskell.☆26May 16, 2014Updated 12 years ago
- explorations in core.logic☆118Jun 14, 2024Updated 2 years ago
- Haskell library abstracting common network sockets usage patterns.☆32Dec 12, 2023Updated 2 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.☆168Jul 11, 2026Updated 2 weeks ago