Canonical miniKanren implementation in Racket
β18Nov 17, 2016Updated 9 years ago
Alternatives and similar repositories for Racket-miniKanren
Users that are interested in Racket-miniKanren are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.β167Apr 1, 2017Updated 9 years ago
- pattern combinators extending racket/match to capture π contexts π¦β20Jul 8, 2019Updated 6 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.β30Dec 5, 2020Updated 5 years ago
- Canonical miniKanren implementation in Racketβ87Sep 21, 2021Updated 4 years ago
- Constraint programming language embedded in Racketβ155Sep 17, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Intβ¦β15Feb 27, 2025Updated last year
- A Redex tutorial with a focus on how to do work in Redexβ11Oct 21, 2024Updated last year
- fast utf-8 character setsβ14Mar 3, 2025Updated last year
- Iterators for the V Programming Languageβ13Mar 23, 2021Updated 5 years ago
- The Titan programming language.β12Apr 16, 2024Updated 2 years ago
- bindings for the raylib + raygui library in Factorβ10Dec 31, 2020Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.β11Jul 13, 2017Updated 8 years ago
- An Impractical Stack Languageβ14Jun 12, 2020Updated 6 years ago
- CoSy APL NoteComputing environment in open x86 Reva Forthβ36Feb 19, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- β12Jul 1, 2025Updated last year
- CLP(SMT) on top of miniKanrenβ40Feb 26, 2022Updated 4 years ago
- Sound and efficient gradual typing via contract verification.β20Aug 3, 2023Updated 2 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.β13Jun 27, 2012Updated 14 years ago
- A modern take on an interpreted scripting languageβ11May 8, 2025Updated last year
- ιΏιδΊOSSηClojure SDKε°θ£β10Mar 28, 2020Updated 6 years ago
- Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Kalaallisut languageβ15Updated this week
- Reflective actor-based languageβ28Jan 2, 2017Updated 9 years ago
- Parsing for the pipes ecosystemβ29Apr 8, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Summer Scheming!!!!!!β11Aug 20, 2020Updated 5 years ago
- Library of Intuitive Ordinal Notations (IONs)β11May 8, 2020Updated 6 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.β24Feb 17, 2015Updated 11 years ago
- a new evolutionary highlevel and readable tape language (unlike brainf)β19Dec 29, 2022Updated 3 years ago
- Datalog implemented in minikanrenβ24Sep 14, 2017Updated 8 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.β19Feb 2, 2014Updated 12 years ago
- type-system, revised unification algorithm and runtime time representationsβ13Dec 12, 2019Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theoryβ15Oct 15, 2018Updated 7 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, fasterβ140Nov 29, 2025Updated 7 months 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.
- β12Apr 8, 2026Updated 2 months ago
- Sketch Driven Regular Expression Generation.β17Apr 26, 2023Updated 3 years ago
- Prediction algorithms for the PCG pseudo-random generatorβ15Nov 13, 2020Updated 5 years ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.β24Sep 25, 2011Updated 14 years ago
- Stack language compiled to luaβ24Feb 3, 2025Updated last year
- Lightweight Scala.js promise implementation that does not violate parametricityβ17Jun 4, 2020Updated 6 years ago
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)β21Apr 2, 2013Updated 13 years ago