Ecosyste.ms: Packages

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

crates.io "logic-programming" keyword

ukanren 0.0.5 💰
Rust implementation of µKanren, a featherweight relational programming language.
5 versions - Latest release: over 2 years ago - 1.83 thousand downloads total - 107 stars on GitHub - 1 maintainer
airlang 0.2.0
The Air Programming Language
16 versions - Latest release: about 1 month ago - 4 dependent packages - 5.29 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_bin 0.2.0
The Air Programming Language
14 versions - Latest release: about 1 month ago - 4.11 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_ext 0.2.0
The Extension of the Air Programming Language
7 versions - Latest release: about 1 month ago - 3 dependent packages - 2.14 thousand downloads total - 7 stars on GitHub - 1 maintainer
Top 9.2% on crates.io
crepe 0.1.8 💰
Datalog in Rust as a procedural macro
9 versions - Latest release: about 1 year ago - 2 dependent packages - 8 dependent repositories - 440 thousand downloads total - 443 stars on GitHub - 1 maintainer
Top 6.3% on crates.io
polar-core 0.27.3
Polar core library for oso, an open source policy engine for authorization that’s embedded in you...
46 versions - Latest release: 5 months ago - 1 dependent package - 17 dependent repositories - 430 thousand downloads total - 3,405 stars on GitHub - 2 maintainers
Top 6.3% on crates.io
oso-derive 0.27.3
macros for oso, an open source policy engine for authorization that’s embedded in your application
46 versions - Latest release: 5 months ago - 1 dependent package - 16 dependent repositories - 412 thousand downloads total - 3,405 stars on GitHub - 2 maintainers
Top 5.3% on crates.io
oso 0.27.3
oso is an open source policy engine for authorization that’s embedded in your application
46 versions - Latest release: 5 months ago - 2 dependent packages - 18 dependent repositories - 431 thousand downloads total - 3,405 stars on GitHub - 2 maintainers
logru 0.2.0
A small, embeddable and fast interpreter for a subset of Prolog.
1 version - Latest release: over 2 years ago - 1 dependent repositories - 563 downloads total - 14 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
z3 0.12.1
High-level rust bindings for the Z3 SMT solver from Microsoft Research
19 versions - Latest release: 11 months ago - 12 dependent packages - 55 dependent repositories - 281 thousand downloads total - 315 stars on GitHub - 4 maintainers
Top 5.8% on crates.io
z3-sys 0.8.1
Low-level bindings for the Z3 SMT solver from Microsoft Research
13 versions - Latest release: 11 months ago - 9 dependent packages - 51 dependent repositories - 331 thousand downloads total - 315 stars on GitHub - 4 maintainers
savan 0.3.0
core library for answer set navigation.
3 versions - Latest release: 3 months ago - 2 dependent packages - 1.06 thousand downloads total - 1 stars on GitHub - 1 maintainer
kanren
Logic Programming in rust.
2 versions - Latest release: about 2 months ago - 1.07 thousand downloads total - 1 maintainer
asdi 0.2.5
Another Simplistic Datalog Implementation (in Rust)
7 versions - Latest release: over 2 years ago - 2.48 thousand downloads total - 3 stars on GitHub - 1 maintainer
air_main 0.0.1
The Main Library of the Air Programming Language
1 version - Latest release: about 2 months ago - 237 downloads total - 7 stars on GitHub - 1 maintainer
ascent_macro 0.6.0
implementation of ascent macros
13 versions - Latest release: 2 months ago - 1 dependent package - 1 dependent repositories - 9.48 thousand downloads total - 367 stars on GitHub - 1 maintainer
ascent_base 0.6.0
support library for the ascent package
13 versions - Latest release: 2 months ago - 2 dependent packages - 2 dependent repositories - 9.8 thousand downloads total - 367 stars on GitHub - 1 maintainer
ascent-byods-rels 0.6.0
data structures for Ascent relations, made possible by Ascent's BYODS feature
4 versions - Latest release: 2 months ago - 1.32 thousand downloads total - 367 stars on GitHub - 1 maintainer
ascent 0.6.0
Logic programming in Rust
14 versions - Latest release: 2 months ago - 2 dependent packages - 1 dependent repositories - 9.28 thousand downloads total - 367 stars on GitHub - 1 maintainer
fall 0.1.2
An easily embeddable, futures-friendly logic engine.
3 versions - Latest release: over 5 years ago - 2.27 thousand downloads total - 9 stars on GitHub - 1 maintainer
proto-vulcan-macros 0.1.6
Internal macro library for proto-vulcan
6 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 3.57 thousand downloads total - 10 stars on GitHub - 1 maintainer
proto-vulcan 0.1.6
A miniKanren-family relational logic programming language embedded in Rust
7 versions - Latest release: over 2 years ago - 2.93 thousand downloads total - 10 stars on GitHub - 1 maintainer
Related Keywords
rust 16 language 6 datalog 6 logic 5 specification-language 4 proof-of-concept 4 programming-languages 4 programming-language 4 logical-programming 4 formal-specification 4 artificial-intelligence 4 formal 4 air 4 specification 4 declarative-language 4 lattice 4 rbac-roles 3 ruby 3 security 3 rbac-authorization 3 rbac 3 python 3 policy-engine 3 nodejs 3 java 3 go 3 authorization-framework 3 authorization 3 access-control 3 abac 3 prolog 2 smt-solver 2 rust-bindings 2 ffi-bindings 2 solver 2 satisfiability 2 smt 2 ffi 2 programming 1 program-analysis 1 procedural-macro 1 ascent 1 union-find 1 byods 1 data-structures 1 translator 1 kanren 1 relational-algebra 1 inference 1 answer-set-programming 1 static-analysis 1 souffle 1 analysis 1 compiler 1 minikanren 1 microkanren 1 functional-programming 1 hacktoberfest 1 first-order-logic 1