Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with kanren

A curated list of projects in awesome lists tagged with kanren .

https://github.com/mdiep/Logician

Logic programming in Swift

constraints kanren logic-programming solver swift

Last synced: 18 Nov 2024

https://github.com/mdiep/logician

Logic programming in Swift

constraints kanren logic-programming solver swift

Last synced: 31 Oct 2024

https://github.com/tgecho/canrun_rs

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

dsl kanren logic rust

Last synced: 16 Nov 2024

https://github.com/mdiep/kanren.swift

Logic programming in Swift

kanren logic-programming swift

Last synced: 22 Oct 2024

https://github.com/chalcolith/pony-kanren

An implementation of microKanren for Pony.

kanren logic-programming pony-language ponylang

Last synced: 14 Oct 2024

https://github.com/arsalan0c/pflp-ml

Probabilistic functional logic language embedded in OCaml

functional-logic kanren probabilistic-programming

Last synced: 24 Oct 2024

https://github.com/arsalan0c/kanren

Kanren(s) embedded in OCaml for logic programming

kanren logic logic-programming microkanren minikanren ocaml relations

Last synced: 24 Oct 2024

https://github.com/pmeinhardt/atto

experimenting with µ-kanren & relational programming 🔬

kanren programming-language relational

Last synced: 24 Oct 2024