Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "kanren" keyword

View the packages on the crates.io package registry that are tagged with the "kanren" keyword.

canrun 0.5.0
A logic programming library inspired by the *Kanren family of language DSLs.
5 versions - Latest release: about 2 years ago - 2 dependent packages - 1 dependent repositories - 7.26 thousand downloads total - 52 stars on GitHub - 1 maintainer
canrun_basic 0.1.0
Basic goals constructors for the Canrun crate
1 version - Latest release: about 5 years ago - 1.56 thousand downloads total - 52 stars on GitHub - 1 maintainer
canrun_collections 0.1.0
Collection related types and goal constructors for the Canrun crate
1 version - Latest release: about 5 years ago - 1.55 thousand downloads total - 52 stars on GitHub - 1 maintainer
ukanren 0.0.5 💰
Rust implementation of µKanren, a featherweight relational programming language.
5 versions - Latest release: almost 4 years ago - 5.59 thousand downloads total - 113 stars on GitHub - 1 maintainer
canrun_codegen 0.2.0
Procedural macros used by the Canrun crate
2 versions - Latest release: almost 4 years ago - 1 dependent package - 1 dependent repositories - 4.05 thousand downloads total - 52 stars on GitHub - 1 maintainer
mini-kanren 0.4.0
miniKANREN in Rust
11 versions - Latest release: over 4 years ago - 1 dependent repositories - 12.5 thousand downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
dsl 5 logic 5 rust 5 logic-programming 1 prolog 1 language 1 functional-programming 1 microkanren 1 minikanren 1