Checks boolean values for type safety.
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
Library for symbolic HCTL model checking on partially defined Boolean networks.
rustgym solutions
JSON Schema Compatibility Checker
Shrimpl programming language and LSP
Gankra's toy compiler
A high-performance, structural pattern-matching DSL for YAML. Perform declarative diagnostics and surgical in-place updates with zero-allocation.
Sandboxing and execution policy enforcement
Type checker for mq
Library to Provide a User Authentication and privilege Token Checks. It requires the Axum_Session library.
ThalIR - Solidity intermediate representation for smart contract security auditing