Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "datalog" keyword
ascent_macro 0.6.0
implementation of ascent macros13 versions - Latest release: about 1 month 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 package13 versions - Latest release: about 1 month 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 feature4 versions - Latest release: about 1 month ago - 1.32 thousand downloads total - 367 stars on GitHub - 1 maintainer
ascent 0.6.0
Logic programming in Rust14 versions - Latest release: about 1 month ago - 2 dependent packages - 1 dependent repositories - 9.28 thousand downloads total - 367 stars on GitHub - 1 maintainer
rdfox-sys 0.0.3
Low level bindings to the C api for RDFox, see rdfox-rs for the higher level Rust interface3 versions - Latest release: 3 months ago - 2 dependent packages - 1.1 thousand downloads total - 0 stars on GitHub - 1 maintainer
xtdb 0.1.0-pre.1
Rust client for XTDB1 version - Latest release: 3 months ago - 282 downloads total - 2,437 stars on GitHub - 1 maintainer
Top 5.9% on crates.io
17 versions - Latest release: almost 3 years ago - 1 dependent package - 219 dependent repositories - 2.35 million downloads total - 1,246 stars on GitHub - 1 maintainer
polonius-engine 0.13.0
Core definition for the Rust borrow checker17 versions - Latest release: almost 3 years ago - 1 dependent package - 219 dependent repositories - 2.35 million downloads total - 1,246 stars on GitHub - 1 maintainer
egglog 0.1.0
egglog is a language that combines the benefits of equality saturation and datalog. It can be use...1 version - Latest release: 7 months ago - 347 downloads total - 343 stars on GitHub - 1 maintainer
Top 4.6% on crates.io
4 versions - Latest release: over 5 years ago - 4 dependent packages - 294 dependent repositories - 2.39 million downloads total - 783 stars on GitHub - 1 maintainer
datafrog 2.0.1
Lightweight Datalog engine intended to be embedded in other Rust programs4 versions - Latest release: over 5 years ago - 4 dependent packages - 294 dependent repositories - 2.39 million downloads total - 783 stars on GitHub - 1 maintainer
owoof 0.2.0
Uses SQLite to store data and a datalog-like format to query it.6 versions - Latest release: about 2 years ago - 2.14 thousand downloads total - 38 stars on GitHub - 1 maintainer
eclair_bindings_derive 0.1.0 đź’°
proc-macro crate, for use together with 'eclair_bindings'2 versions - Latest release: over 1 year ago - 608 downloads total - 4 stars on GitHub - 1 maintainer
eclair_bindings 0.1.0 đź’°
idiomatic Rust wrapper around the low level Eclair Datalog API2 versions - Latest release: over 1 year ago - 603 downloads total - 4 stars on GitHub - 1 maintainer
g1-macros 0.1.0-alpha.3
G1 proc macros.1 version - Latest release: over 4 years ago - 1 dependent package - 1.17 thousand downloads total - 0 stars on GitHub - 1 maintainer
g1-common 0.1.0-alpha.3
Common types and traits between the client and server portion of the G1 graph store.1 version - Latest release: over 4 years ago - 4 dependent packages - 2.15 thousand downloads total - 0 stars on GitHub - 1 maintainer
g1-cli 0.1.0-alpha.3
A command-line interface to the G1 graph store.1 version - Latest release: over 4 years ago - 563 downloads total - 0 stars on GitHub - 1 maintainer
tree-sitter-souffle 0.4.0
Soufflé grammar for the tree-sitter parsing library3 versions - Latest release: over 1 year ago - 4 dependent packages - 2 dependent repositories - 4.24 thousand downloads total - 12 stars on GitHub - 1 maintainer
declarative-dataflow 0.2.0
A reactive query engine built on Differential Dataflow.2 versions - Latest release: almost 5 years ago - 1.24 thousand downloads total - 305 stars on GitHub - 1 maintainer
g1 0.1.0-alpha.3
A simple graph store.4 versions - Latest release: over 4 years ago - 2.2 thousand downloads total - 0 stars on GitHub - 1 maintainer
g1-sqlite-connection 0.1.0-alpha.3
A G1 connection based on an SQLite database, using the FS for blobs.1 version - Latest release: over 4 years ago - 2 dependent packages - 1.49 thousand downloads total - 0 stars on GitHub - 1 maintainer
souffle-lint 0.4.0
Linter for Soufflé Datalog6 versions - Latest release: over 1 year ago - 1.96 thousand downloads total - 12 stars on GitHub - 1 maintainer
rdfox
RDFox for Rust, a high-performance in-memory semantic graph database2 versions - Latest release: 11 days ago - 469 downloads total - 7 stars on GitHub - 1 maintainer
rdfox-rs 0.1.16
RDFox for Rust, a high-performance in-memory ACID-transactional semantic graph database23 versions - Latest release: 4 months ago - 5.87 thousand downloads total - 7 stars on GitHub - 1 maintainer
treeedbgen-souffle 0.1.0-rc.5
Generate Soufflé types and relations from tree-sitter grammars1 version - Latest release: over 1 year ago - 5 dependent packages - 1 dependent repositories - 1.87 thousand downloads total - 47 stars on GitHub - 1 maintainer
treeedb-csharp 0.1.0-rc.5
Generate Datalog facts from C# source code1 version - Latest release: over 1 year ago - 335 downloads total - 47 stars on GitHub - 1 maintainer
treeedb 0.1.0-rc.5
Generate Datalog facts from tree-sitter parse trees3 versions - Latest release: over 1 year ago - 6 dependent packages - 2.44 thousand downloads total - 47 stars on GitHub - 1 maintainer
treeedbgen-souffle-souffle 0.1.0-rc.5
Generate Soufflé types and relations from the Soufflé tree-sitter grammar1 version - Latest release: over 1 year ago - 365 downloads total - 47 stars on GitHub - 1 maintainer
treeedbgen-souffle-csharp 0.1.0-rc.5
Generate Soufflé types and relations from the C# tree-sitter grammar1 version - Latest release: over 1 year ago - 354 downloads total - 47 stars on GitHub - 1 maintainer
treeedb-c 0.1.0-rc.5
Generate Datalog facts from C source code1 version - Latest release: over 1 year ago - 342 downloads total - 47 stars on GitHub - 1 maintainer
treeedbgen-souffle-c 0.1.0-rc.5
Generate Soufflé types and relations from the C tree-sitter grammar1 version - Latest release: over 1 year ago - 404 downloads total - 47 stars on GitHub - 1 maintainer
treeedb-rust 0.1.0-rc.5
Generate Datalog facts from Rust source code1 version - Latest release: over 1 year ago - 326 downloads total - 47 stars on GitHub - 1 maintainer
treeedbgen-souffle-rust 0.1.0-rc.5
Generate Soufflé types and relations from the Rust tree-sitter grammar1 version - Latest release: over 1 year ago - 325 downloads total - 47 stars on GitHub - 1 maintainer
treeedb-souffle 0.1.0-rc.5
Generate Datalog facts from Soufflé source code1 version - Latest release: over 1 year ago - 381 downloads total - 47 stars on GitHub - 1 maintainer
treeedb-swift 0.1.0-rc.5
Generate Datalog facts from Swift source code1 version - Latest release: over 1 year ago - 321 downloads total - 47 stars on GitHub - 1 maintainer
treeedbgen-souffle-javascript 0.1.0-rc.5
Generate Soufflé types and relations from the JavaScript tree-sitter grammar1 version - Latest release: over 1 year ago - 340 downloads total - 47 stars on GitHub - 1 maintainer
treeedbgen 0.1.0-rc.5
Parse node-types.json from a tree-sitter grammar3 versions - Latest release: over 1 year ago - 1 dependent package - 2.52 thousand downloads total - 47 stars on GitHub - 1 maintainer
treeedb-javascript 0.1.0-rc.5
Generate Datalog facts from JavaScript source code1 version - Latest release: over 1 year ago - 324 downloads total - 47 stars on GitHub - 1 maintainer
modus-lib 0.1.15
A language for building container images15 versions - Latest release: about 2 years ago - 1 dependent package - 5.51 thousand downloads total - 279 stars on GitHub - 2 maintainers
modus 0.1.15
A language for building container images15 versions - Latest release: about 2 years ago - 4.85 thousand downloads total - 279 stars on GitHub - 2 maintainers
Top 9.2% on crates.io
9 versions - Latest release: about 1 year ago - 2 dependent packages - 8 dependent repositories - 429 thousand downloads total - 441 stars on GitHub - 1 maintainer
crepe 0.1.8 đź’°
Datalog in Rust as a procedural macro9 versions - Latest release: about 1 year ago - 2 dependent packages - 8 dependent repositories - 429 thousand downloads total - 441 stars on GitHub - 1 maintainer
transistor 2.1.1 đź’°
Crux Datalog DB Client36 versions - Latest release: over 3 years ago - 13.4 thousand downloads total - 29 stars on GitHub - 2 maintainers
cozo 0.7.6
A general-purpose, transactional, relational database that uses Datalog and focuses on graph data...20 versions - Latest release: 5 months ago - 1 dependent repositories - 12.3 thousand downloads total - 3,097 stars on GitHub - 1 maintainer
cozorocks 0.1.7
Bindings to RocksDB used by the cozo crate8 versions - Latest release: about 1 year ago - 1 dependent package - 4.6 thousand downloads total - 3,097 stars on GitHub - 1 maintainer
polonius 0.3.0
Core definition for the Rust borrow checker3 versions - Latest release: over 5 years ago - 1 dependent repositories - 6.64 thousand downloads total - 1,247 stars on GitHub - 1 maintainer
asdi 0.2.5
Another Simplistic Datalog Implementation (in Rust)7 versions - Latest release: about 2 years ago - 2.21 thousand downloads total - 3 stars on GitHub - 1 maintainer
Related Keywords
souffle
17
static-analysis
15
tree-sitter
15
parsing
15
rust
10
database
7
logic-programming
6
graph-store
5
graph-database
5
compiler
4
declarative-language
4
lattice
4
rdf
3
sparql
3
ekg
3
knowledge-graph
3
csharp
2
analysis
2
bindings
2
c
2
ffi
2
eclair
2
reproducible-builds
2
docker
2
dockerfile
2
build-system
2
language
2
javascript
2
client-server
2
borrowck
2
cozo
2
cozoscript
2
cross-platform
2
embedded-database
2
graph
2
graph-algorithms
2
graphdb
2
relational-database
2
single-executable
2
kg
2
owl-ontology
2
java
1
swift
1
translator
1
crux
1
edn
1
client
1
rust-lang
1
inference
1
relational-algebra
1
program-analysis
1
procedural-macro
1
rdfox
1
semantic-technology
1
bitemporal
1
document-database
1
immutable-store
1
sql
1
temporal
1
xtdb
1
ascent
1
egglog
1
equality
1
e-graphs
1
sqlite
1
proc-macro
1
union-find
1
incremental
1
byods
1
data-structures
1
graphql
1
query
1
differential
1
dataflow
1
differential-dataflows
1
reactive-query-engine
1
relational
1
linter
1