Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/ekzhang/ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
functional-programming language logic-programming microkanren minikanren prolog rust
Last synced: 22 May 2024
https://github.com/hylang/hydiomatic
The Hy Transformer
hy logic-programming minikanren python static-code-analysis symbolic-computation
Last synced: 25 Apr 2024
https://github.com/namin/metamk
Meta-Interpreters in miniKanren
logic-programming meta metaprogramming minikanren reflection scheme
Last synced: 03 Apr 2024
https://github.com/webyrd/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
minikanren ncats-translator racket
Last synced: 02 Apr 2024
