Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/dvberkel/microkanren
An Elm implementation of the μKanren language.
Last synced: 25 May 2024
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
