jasonhemann / constraint-microKanrenView external linksLinks
A microKanren framework for implementing constraints.
☆19May 30, 2018Updated 7 years ago
Alternatives and similar repositories for constraint-microKanren
Users that are interested in constraint-microKanren are comparing it to the libraries listed below
Sorting:
- Datalog implemented in minikanren☆24Sep 14, 2017Updated 8 years ago
- Constraint programming language embedded in Racket☆154Sep 17, 2021Updated 4 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated 11 months ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- A Scheme to WebAssembly compiler☆16Dec 19, 2021Updated 4 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jul 2, 2024Updated last year
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 2 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Dec 30, 2018Updated 7 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 3 months ago
- ☆10Mar 14, 2016Updated 9 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 3 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 3 years ago
- miniKanren in Pharo☆11Jun 10, 2024Updated last year
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- Optimization Coach Plug-In for DrRacket☆20Nov 21, 2025Updated 2 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 8 years ago
- miniKanren in the browser☆56Mar 25, 2016Updated 9 years ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 12 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- Sound and efficient gradual typing via contract verification.☆20Aug 3, 2023Updated 2 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 8 years ago
- A JSON library for Chez Scheme☆15Jul 18, 2017Updated 8 years ago
- A diagram drawing library for Racket☆20Dec 16, 2020Updated 5 years ago