Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "souffle" keyword
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
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
treereduce-souffle 0.3.0
Fast, parallel, syntax-aware program reducer for Soufflé5 versions - Latest release: 10 months ago - 1.31 thousand downloads total - 40 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
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
Related Keywords
datalog
17
tree-sitter
16
parsing
15
static-analysis
15
rust
3
javascript
2
c
2
csharp
2
translator
1
analysis
1
compiler
1
logic-programming
1
swift
1
java
1
test-reduction
1
test-case-minimization
1
program-reduction
1
delta-debugging
1
minimization
1
program-reducer
1
test-case-reduction
1
linter
1
incremental
1