Propositional logic with types in Rust
React performance + security scanner. Finds perf anti-patterns, XSS, secrets, and CVEs. Single binary, zero config, SARIF output.
Binary that integrates XLS capabilities into a driver program
A standalone MVU runtime for Rust with no_std support for embedded systems
Database contract interface — Props, traits, and typestate for SQL domain boundaries
A Property-based testing Library in Rust
Lojban PEG parser with semantic analysis - integrated camxes parser and tersmu semantic engine
Linter for the Dolfin ontology language
Rust client for OAT (Optimization and Analysis Tooling) database
Common handlers for use within SV2 roles
A parser for logical formulas
Typed headless rendering for HTMX
Write propositional logic formulae using Ruby DSL.
Minisat binding for PropLogic