echovalidum-receipt cargo 0.3.0 clean Check echovalidum.com's post-quantum signed receipts: RFC 9421 message signatures with ML-DSA (FIPS 204), natively or as WebAssembly, as My Card does 2d ago experiment-merkle cargo 0.1.0 clean Context-bound Merkle commitments and spot checks for distributed experiments 2h ago graphforge-value cargo 0.6.0-rc.1 clean GraphForge checked identity and persisted value contracts 36m ago keldysh-green cargo 0.1.0 clean Checked dense reference algorithms for real-time nonequilibrium Green functions 2h ago lys-pass cargo 0.3.2 clean Lys pass verification, live permission checks and product draft execution 5h ago mabat cargo not built 0.1.0 did not build An aggregate mapper for Rust: declare the shape of a domain aggregate, and load and save it with batched, checkable SQL 7h ago mabat-cli cargo not built 0.1.0 did not build Check, explain and scaffold Mabat override SQL without the application 7h ago moonseed cargo 0.1.0 clean Deterministic, checkpointable Lua 5.4 runtime in safe Rust 5d ago quantum-light cargo 0.1.0 clean Checked finite-Fock-space reference kernels for quantum photonics 5h ago quantum-shadows cargo 0.1.0 clean Checked local-Pauli classical-shadow estimators for quantum observables 5h ago quantum-tomography cargo 0.1.0 clean Checked reference state and channel tomography interoperability 1h ago quantum-transport cargo 0.1.0 clean Checked coherent NEGF and Landauer transport reference kernels 1h ago rightkit-browser cargo 0.1.1 clean Shared Chrome DevTools Protocol browser runtime for Right Suite: multi-page sessions, named profiles, real CDP input, observations with stale-ref checks. 3d ago spin-lattice cargo 0.1.0 clean Checked reference kernels for coupled classical spins and harmonic lattices 5h ago superconducting-dynamics cargo 0.1.0 clean Gauge-covariant TDGL and Josephson dynamics on checked finite graphs 5h ago superconductivity cargo 0.1.0 clean Checked Bogoliubov-de Gennes models and superconducting observables 4h ago uh-tom-mick-core cargo 0.1.0 clean Atomic admission, checked counters, and atomic flag-set primitives. 37m ago zit cargo 0.1.1 clean A git extension for many developers and coding agents changing one repository at once: copy-on-write workspaces, changes checked against what they read and… 4d ago 