A tree-based multiset for Rust
A crate for Box Algebra. This crate defines the fundamental data structure, a mathematical box, and associated methods for doing basic algebraic operations.
Hereditarily finite sets.
Multiset Incremental Hash Lib in Rust
Tree-sitter full-AST parsers and emitters for panproto language protocols
Parser for the AirScript language
Pure-Rust JPEG 2000 (J2K + JP2) codec — orphan-rebuild scaffold pending clean-room re-implementation.
A toy SQL parser for a subset of the Oracle dialect.
Migration engine for panproto
Winterfell STARK prover and verifier
Binary that integrates XLS capabilities into a driver program
spdf command-line interface.