Stable C ABI for tish native extensions — opaque value handles + extern "C" accessors so a cdylib (native) or wasm host-import module can interoperate with any…
Build + raw FFI bindings to baracuda's port of NVIDIA TransformerEngine's FP8 cast/transpose + delayed-scaling recipe primitives. Cast/recipe subset only —…
engenho-substrate-props — proptest property tests for engenho-substrate's typed primitives. Runs the full invariant suite (Plantio topo-sort acyclicity,…
Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it
Data-driven core of Wickra Strategy-CI: golden-pin a strategy's backtest report, assert tolerances and invariant properties, and fuzz-test against seeded data…
Temporary fork of the sspi crate (Devolutions' Rust SSPI implementation) carrying MIT Kerberos interoperability fixes, published for krabka; it will be…
A replayable, drivable text-editing engine: Helix's editing model in a pure Elm architecture. The whole editor is one serializable state; every input is a…
Office document metadata for forensics: authors, last saved by, created, saved and printed times, edit time, counts, company and template, from 97-2003…