crates.io "logic-programming" keyword
datalog_ast 0.2.7
Abstract Syntax Tree types for Datalog programs9 versions - Latest release: 3 months ago - 228 downloads total - 1 maintainer
Top 5.7% on crates.io
47 versions - Latest release: 3 days ago - 12 dependent packages - 55 dependent repositories - 733 thousand downloads total - 442 stars on GitHub - 5 maintainers
z3 0.19.10
High-level rust bindings for the Z3 SMT solver from Microsoft Research47 versions - Latest release: 3 days ago - 12 dependent packages - 55 dependent repositories - 733 thousand downloads total - 442 stars on GitHub - 5 maintainers
Top 5.8% on crates.io
32 versions - Latest release: 3 days ago - 9 dependent packages - 51 dependent repositories - 785 thousand downloads total - 442 stars on GitHub - 5 maintainers
z3-sys 0.10.7
Low-level bindings for the Z3 SMT solver from Microsoft Research32 versions - Latest release: 3 days ago - 9 dependent packages - 51 dependent repositories - 785 thousand downloads total - 442 stars on GitHub - 5 maintainers
kanren
Logic Programming in rust.2 versions - Latest release: 4 days ago - 2.81 thousand downloads total - 1 maintainer
asdi 0.2.5
Another Simplistic Datalog Implementation (in Rust)7 versions - Latest release: about 4 years ago - 10 thousand downloads total - 4 stars on GitHub - 1 maintainer
Top 9.2% on crates.io
10 versions - Latest release: 3 months ago - 2 dependent packages - 8 dependent repositories - 613 thousand downloads total - 452 stars on GitHub - 1 maintainer
crepe 0.2.0 💰
Datalog in Rust as a procedural macro10 versions - Latest release: 3 months ago - 2 dependent packages - 8 dependent repositories - 613 thousand downloads total - 452 stars on GitHub - 1 maintainer
savan 0.3.5
core library for answer set navigation.8 versions - Latest release: about 1 year ago - 2 dependent packages - 8.47 thousand downloads total - 1 stars on GitHub - 1 maintainer
ascent_base 0.8.0
support library for the ascent package16 versions - Latest release: 12 months ago - 2 dependent packages - 2 dependent repositories - 200 thousand downloads total - 488 stars on GitHub - 1 maintainer
proto-vulcan 0.1.6
A miniKanren-family relational logic programming language embedded in Rust7 versions - Latest release: over 4 years ago - 9.59 thousand downloads total - 12 stars on GitHub - 1 maintainer
logru 0.4.1
A small, embeddable and fast interpreter for a subset of Prolog.4 versions - Latest release: about 1 year ago - 1 dependent repositories - 4.41 thousand downloads total - 22 stars on GitHub - 1 maintainer
fall 0.1.2
An easily embeddable, futures-friendly logic engine.3 versions - Latest release: over 7 years ago - 5.77 thousand downloads total - 9 stars on GitHub - 1 maintainer
proto-vulcan-macros 0.1.6
Internal macro library for proto-vulcan6 versions - Latest release: over 4 years ago - 1 dependent package - 1 dependent repositories - 9.42 thousand downloads total - 12 stars on GitHub - 1 maintainer
kz80_prolog 0.1.0
Prolog compiler for Z80 - Logic programming on the RetroShield1 version - Latest release: 2 months ago - 18 downloads total - 1 maintainer
ukanren 0.0.5 💰
Rust implementation of µKanren, a featherweight relational programming language.5 versions - Latest release: over 4 years ago - 6.41 thousand downloads total - 115 stars on GitHub - 1 maintainer
oak-prolog 0.0.3
Prolog language parser with support for logic programming and declarative programming features.4 versions - Latest release: 15 days ago - 211 downloads total - 12 stars on GitHub - 1 maintainer
ascent_macro 0.8.0
implementation of ascent macros16 versions - Latest release: 12 months ago - 1 dependent package - 1 dependent repositories - 196 thousand downloads total - 510 stars on GitHub - 1 maintainer
neorusticus 0.1.3
A Prolog implementation in Rust with enhanced error handling4 versions - Latest release: 5 months ago - 1.38 thousand downloads total - 1 stars on GitHub - 1 maintainer
ascent-byods-rels 0.8.0
data structures for Ascent relations, made possible by Ascent's BYODS feature7 versions - Latest release: 12 months ago - 9.29 thousand downloads total - 510 stars on GitHub - 1 maintainer
prune-lang 0.1.3
Prune is a constraint logic programming language with branching heuristic.4 versions - Latest release: 24 days ago - 82 downloads total - 32 stars on GitHub - 1 maintainer
otter_sat 0.1.0
A library for determining the satisfiability of boolean formulas written in conjunctive normal fo...3 versions - Latest release: about 1 year ago - 2.18 thousand downloads total - 0 stars on GitHub - 1 maintainer
minikanren_1bit_chirho 0.2.0
miniKanren as 1-bit matrix operations - hardware-accelerated logic programming with SIMD, GPU, an...2 versions - Latest release: about 1 month ago - 23 downloads total
ascent 0.8.0
Logic programming in Rust17 versions - Latest release: 12 months ago - 2 dependent packages - 1 dependent repositories - 189 thousand downloads total - 488 stars on GitHub - 1 maintainer
Related Keywords
rust
13
datalog
7
prolog
6
lattice
4
declarative-language
4
smt-solver
3
smt
3
satisfiability
3
solver
2
ffi-bindings
2
rust-bindings
2
ffi
2
parser
2
language
2
compiler
2
minikanren
2
logic
2
functional-programming
2
kanren
2
data-structures
1
union-find
1
dsl
1
byods
1
ascent
1
unification
1
interpreter
1
zero-cost-abstraction
1
ast
1
constraint-logic-programming
1
sat
1
sat-sovler
1
rust-crate
1
rust-library
1
sat-solver
1
constraint-solving
1
fpga
1
simd
1
procedural-macro
1
program-analysis
1
database
1
inference
1
relational-algebra
1
analysis
1
souffle
1
static-analysis
1
translator
1
answer-set-programming
1
programming
1
first-order-logic
1
hacktoberfest
1
retro
1
z80
1
microkanren
1
declarative
1
high-performance
1
parse-combinator
1
parsec
1
zero-allocation
1