GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ microkanren
Top 2 microkanren open source projects
ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
✭ 98
rust
functional-programming
minikanren
microkanren
Logical
Minimalistic logic programming framework
✭ 20
ocaml
shell
microkanren
1-2
of
2
microkanren projects