crates.io "rewriting" keyword
View the packages on the crates.io package registry that are tagged with the "rewriting" keyword.
hirpdag 0.1.1
Library and procedural macros for Hash Consed, Immutable, Reference Counted, Persistent, Directed...2 versions - Latest release: over 3 years ago - 2.55 thousand downloads total - 1 stars on GitHub - 1 maintainer
kontroli 0.4.0
Type checking for the lambda-Pi calculus modulo rewriting5 versions - Latest release: about 3 years ago - 1 dependent package - 6.74 thousand downloads total - 21 stars on GitHub - 1 maintainer
kocheck 0.4.2
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: over 1 year ago - 7.99 thousand downloads total - 21 stars on GitHub - 1 maintainer
dedukti-parse 0.3.1
Parser for the Dedukti file format4 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 6.42 thousand downloads total - 21 stars on GitHub - 1 maintainer
Top 4.2% on crates.io
20 versions - Latest release: 9 days ago - 39 dependent packages - 66 dependent repositories - 1.27 million downloads total - 1,796 stars on GitHub - 1 maintainer
lol_html 2.6.0
Streaming HTML rewriter/parser with CSS selector-based API20 versions - Latest release: 9 days ago - 39 dependent packages - 66 dependent repositories - 1.27 million downloads total - 1,796 stars on GitHub - 1 maintainer
qrlew 0.9.27
Sarus Qrlew Engine72 versions - Latest release: 8 months ago - 1 dependent package - 74.8 thousand downloads total - 44 stars on GitHub - 1 maintainer
terms 0.1.3
Tree terms and patterns data structures4 versions - Latest release: almost 5 years ago - 3 dependent packages - 6.99 thousand downloads total - 0 stars on GitHub - 1 maintainer
avatar_hypergraph_rewriting 0.1.1
Hypergraph rewriting system with avatars for symbolic distinction2 versions - Latest release: over 3 years ago - 2.67 thousand downloads total - 3 stars on GitHub - 1 maintainer
term_rewriting 0.7.0
A Rust library for representing, parsing, and computing with first-order term rewriting systems.7 versions - Latest release: about 6 years ago - 1 dependent package - 4 dependent repositories - 30.5 thousand downloads total - 27 stars on GitHub - 1 maintainer
simple_term_rewriter 0.3.0
A basic interface to rewrite concrete tree terms according to a set of rules11 versions - Latest release: 4 months ago - 5.57 thousand downloads total - 0 stars on GitHub - 1 maintainer
trs 0.1.0
Term Rewriting Systems1 version - Latest release: almost 6 years ago - 1.58 thousand downloads total - 0 stars on GitHub - 1 maintainer
logic-lang 0.0.2 removed
structural logic based on equivalence graphs2 versions - Latest release: over 2 years ago - 1.67 thousand downloads total - 5 stars on GitHub - 1 maintainer
Related Keywords
rust
6
logic
4
tree
3
term
3
dependent-types
3
dedukti
3
typechecker
3
verification
2
type-checking
2
pattern
2
parser
2
privacy-enhancing-technologies
1
avatar
1
wolfram
1
advancedresearch
1
hypergraph
1
language
1
term-rewriting
1
rust-library
1
equivalence
1
graph
1
privacy
1
differential-privacy
1
sql
1
data
1
stream
1
streaming
1
rewriter
1
html
1
css-selectors
1
hashconsing
1
persistent
1
dag
1