Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Logic Programming Kanren Open Source Projects

Open source projects categorized as Logic Programming Kanren
Categories > Kanren
Categories > Programming Languages > Logic Programming
Logician ⭐ 174
Logic programming in Swift
most recent commit 4 years ago
Canrun_rs ⭐ 51
A Rust logic programming library inspired by the *Kanren family of language DSLs.
dependent packages 2total releases 5most recent commit 4 months agocargo canrun} Downloads
Minikanren Datalog ⭐ 16
Datalog implemented in minikanren
most recent commit 7 years ago
Pony Kanren ⭐ 7
An implementation of microKanren for Pony.
most recent commit 6 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.