The compiled wickra-zk guest program: the RISC-V ELF the prover runs and the image id the verifier pins, committed alongside the source that produces them.
The Appearance model: the hl.config look catalog, animations, the gsettings bridge and look::resolve() into the shared Theme; Hyprforge-internal, published so…
One multi-language AST parser: language identification from path or shebang, opt-in content parsing, tree-sitter grammar selection by cargo feature, bounded…
engenho-control-types — the central types of engenho's non-Kubernetes control plane, DERIVED at build time from spec/engenho-control.openapi.yaml: the schema…
Deterministic core of wickra-gym: precompute a candle dataset into a fixed feature tensor once, then step a Gymnasium-style RL environment in O(1) with…
Prover and verifier for wickra-zk: runs the deterministic wickra-backtest inside a risc0 zkVM guest and turns a receipt into a trustless, data-hiding proof of…
archon's service side: the login handler (four routes, law-free, store-minimal), the request profile's verifier with its replay store, and key enrollment's…
The official axum and tower middleware for the VPNDetection API: classify the visitor behind each request as VPN, residential proxy, Tor, hosting, CDN or…