kanren topic

List kanren repositories

canrun_rs

51
Stars
4
Forks
Watchers

A Rust logic programming library inspired by the *Kanren family of language DSLs.

verified publisher icon tgecho

Logician

194
Stars
10
Forks
Watchers

Logic programming in Swift

verified publisher icon mdiep

minikanren-datalog

24
Stars
1
Forks
Watchers

Datalog implemented in minikanren

verified publisher icon rntz