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
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
treereduce-souffle 0.3.0
Fast, parallel, syntax-aware program reducer for Soufflé5 versions - Latest release: 11 months ago - 1.55 thousand downloads total - 42 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 - 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
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
Related Keywords
datalog
17
tree-sitter
16
parsing
15
static-analysis
15
rust
3
c
2
csharp
2
javascript
2
incremental
1
translator
1
logic-programming
1
analysis
1
compiler
1
test-reduction
1
test-case-minimization
1
program-reduction
1
delta-debugging
1
test-case-reduction
1
program-reducer
1
minimization
1
java
1
swift
1
linter
1