First-order temporal logic programming with microKanren
☆19Nov 3, 2017Updated 8 years ago
Alternatives and similar repositories for ftmicroKanren
Users that are interested in ftmicroKanren are comparing it to the libraries listed below
Sorting:
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- Resumable and copyable functions a.k.a. coroutines for Julia, with optional function-specific globals.☆22Feb 23, 2026Updated last week
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- A microKanren framework for implementing constraints.☆19May 30, 2018Updated 7 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Julia implementation for Python Restrain JIT☆22Mar 3, 2021Updated 5 years ago
- ☆23Sep 28, 2021Updated 4 years ago
- Tools for processing data for Deus Ex: Human Revolution☆23Dec 20, 2025Updated 2 months ago
- Datalog implemented in minikanren☆24Sep 14, 2017Updated 8 years ago
- Research and Innovation Group - 9P library for Clojure☆21Jul 15, 2024Updated last year
- Functional Programming for Logicians, 2019 Spring, ELTE☆12Jun 11, 2019Updated 6 years ago
- S-expression parsing library☆36Jan 15, 2026Updated last month
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Jun 2, 2020Updated 5 years ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- Probabilistic miniKanren☆67Oct 20, 2015Updated 10 years ago
- Lua backend for Idris 2☆28Aug 14, 2022Updated 3 years ago
- Haxe in Haxe☆24Mar 29, 2018Updated 7 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Nov 29, 2025Updated 3 months ago
- The package manager for Cyclone Scheme.☆33Feb 14, 2024Updated 2 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- ☆11Oct 25, 2024Updated last year
- Cloud native connectivity for Unreal Engine☆10Apr 14, 2023Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- Non-iterable ranges☆35Dec 11, 2025Updated 2 months ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 8 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- ☆12Mar 13, 2025Updated 11 months ago
- Common plugin suite for the ufo-core processing framework☆10Feb 6, 2026Updated last month
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- An XQuery 3.0 library for defining algebraic data types, and performing structural pattern matching on them.☆17Jun 30, 2012Updated 13 years ago
- A web-based programming environment for educational robotics that supports live coding and autonomy using a hybrid blocks/text programmin…☆20Jan 13, 2025Updated last year
- ☆11Mar 14, 2023Updated 2 years ago
- A very basic transform replicator with smoothing for Unreal Engine 4☆10Mar 7, 2021Updated 4 years ago