-
ts-bnf-tool
CLI tool for converting BNF grammars to tree-sitter notation
-
jsongrep
JSONPath-inspired query language for JSON, YAML, TOML, and other serialization formats
-
arborium-regex
Regular Expression grammar for arborium (tree-sitter bindings)
-
oxirs-shacl
SHACL Core + SHACL-SPARQL validator for RDF data validation
-
balanced-ternary
manipulate balanced ternary values
-
autour_core
AUTOmata Utilities and Representation (AUTOUR) is a small toolbox to experiment with various kinds of automata and draw them
-
varpulis
Detect temporal patterns in event streams — in Rust, in milliseconds, in 10 lines. Install with: cargo install varpulis-cli
-
repr
The regular-expression-as-linear-logic interpretation and its implementation
-
varpulis-hamlet
Hamlet shared online event trend aggregation (SIGMOD 2021)
-
neodyn_xc
Neodyn Exchange is the serialization format for the Neodyn database engine
-
openvet-policy
Requirement language and Kleene evaluator for OpenVet audit policies
-
rustc-ap-rustc_expand
Automatically published version of the package
rustc_expandin the rust-lang/rust repository from commit 9a27044f42ace9eb652781b53f598e25d4e7e918 The publishing script for this crate lives at: https://github… -
strong-kleene
Strong Kleene logic in Rust
-
trilean
Kleene's three-valued logic (boolean + unknown)
-
predisposition
Three-valued boolean types with different predispositions for the unknown case
-
varpulis-parser
Parser for VPL language
-
belnapian
Belnap's 4-valued logic basic building blocks in Rust
-
brzozowski
Work with regular expressions using Brzozowski derivatives. "
-
varpulis-runtime
Runtime execution engine for Varpulis
-
rzozowski
A regex crate using Brzozowski derivatives
-
varpulis-zdd
Zero-suppressed Decision Diagrams for efficient set manipulation in CEP patterns
-
varpulis-sase
SASE+ pattern matching engine for Complex Event Processing
-
lexviz
A customizable lexical analyser tool which also allows you to visualize the NFAs and DFAs generated
-
ruleset
Monotonic chart parsing
-
rustomaton
A small Rust library for automaton (DFA, NFA, Regex) manipulation
-
arrow2
Unofficial implementation of Apache Arrow spec in safe Rust
-
intel-tsx-rtm
intrinsics for Rust to use Intel's TSX RTM, a hardware transactional memory extension for some Skylake CPUs
-
intel-tsx-hle
Atomic intrinsics for HLE (Hardware Lock Elision) on some Intel Skylake CPUs
Try searching with DuckDuckGo or on crates.io.