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
materialized-view
Simple incremental materialized views for the masses.1 version - 192 downloads total - 0 stars on GitHub - 1 maintainer
souffle-lint 0.4.0
Linter for Soufflé Datalog6 versions - Latest release: over 1 year ago - 2.27 thousand downloads total - 12 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 - 405 downloads total - 51 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 - 2.04 thousand downloads total - 51 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 - 399 downloads total - 51 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 - 388 downloads total - 51 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 - 417 downloads total - 51 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 - 405 downloads total - 51 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.79 thousand downloads total - 51 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 - 444 downloads total - 51 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.7 thousand downloads total - 51 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 - 384 downloads total - 51 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 - 428 downloads total - 51 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 - 386 downloads total - 51 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 - 467 downloads total - 51 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 - 388 downloads total - 51 stars on GitHub - 1 maintainer
rdfox
RDFox for Rust, a high-performance in-memory semantic graph database2 versions - Latest release: about 1 month ago - 577 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 - 7.19 thousand downloads total - 7 stars on GitHub - 1 maintainer
modus 0.1.15
A language for building container images15 versions - Latest release: about 2 years ago - 5.51 thousand downloads total - 279 stars on GitHub - 2 maintainers
modus-lib 0.1.15
A language for building container images15 versions - Latest release: about 2 years ago - 1 dependent package - 6.18 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 - 440 thousand downloads total - 443 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 - 440 thousand downloads total - 443 stars on GitHub - 1 maintainer
transistor 2.1.1 💰
Crux Datalog DB Client36 versions - Latest release: over 3 years ago - 14.6 thousand downloads total - 29 stars on GitHub - 2 maintainers
egglog 0.1.0
egglog is a language that combines the benefits of equality saturation and datalog. It can be use...2 versions - Latest release: 7 months ago - 396 downloads total - 355 stars on GitHub - 2 maintainers
polonius 0.3.0
Core definition for the Rust borrow checker3 versions - Latest release: over 5 years ago - 1 dependent repositories - 6.78 thousand downloads total - 1,259 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.41 million downloads total - 1,258 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.41 million downloads total - 1,258 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: 4 months ago - 2 dependent packages - 1.2 thousand downloads total - 0 stars on GitHub - 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
cozo 0.7.6
A general-purpose, transactional, relational database that uses Datalog and focuses on graph data...20 versions - Latest release: 6 months ago - 1 dependent repositories - 14.2 thousand downloads total - 3,143 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.9 thousand downloads total - 3,143 stars on GitHub - 1 maintainer
ascent_macro 0.6.0
implementation of ascent macros13 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 package13 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 feature4 versions - Latest release: 2 months ago - 1.32 thousand downloads total - 367 stars on GitHub - 1 maintainer
ascent 0.6.0
Logic programming in Rust14 versions - Latest release: 2 months ago - 2 dependent packages - 1 dependent repositories - 9.28 thousand downloads total - 367 stars on GitHub - 1 maintainer
xtdb 0.1.0-pre.1
Rust client for XTDB1 version - Latest release: 4 months ago - 282 downloads total - 2,437 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: over 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
Related Keywords
souffle
17
tree-sitter
15
static-analysis
15
parsing
15
rust
10
database
7
logic-programming
6
graph-store
5
graph-database
5
lattice
4
compiler
4
declarative-language
4
rdf
4
knowledge-graph
3
ekg
3
sparql
3
cross-platform
2
embedded-database
2
graph
2
cozoscript
2
graph-algorithms
2
cozo
2
client-server
2
borrowck
2
bindings
2
ffi
2
eclair
2
single-executable
2
relational-database
2
graphdb
2
javascript
2
csharp
2
c
2
kg
2
owl-ontology
2
language
2
differential
2
docker
2
dockerfile
2
build-system
2
reproducible-builds
2
analysis
2
document-database
1
relational
1
reactive-query-engine
1
differential-dataflows
1
bitemporal
1
program-analysis
1
procedural-macro
1
dataflow
1
query
1
immutable-store
1
sql
1
temporal
1
xtdb
1
sqlite
1
proc-macro
1
incremental
1
graphql
1
dbsp
1
property-graph
1
linter
1
swift
1
java
1
translator
1
client
1
edn
1
crux
1
rust-lang
1
e-graphs
1
equality
1
egglog
1
rdfox
1
semantic-technology
1
inference
1
relational-algebra
1
data-structures
1
byods
1
union-find
1
ascent
1