Pinned Loading

1. Hyphaeic/fdrs_formal Hyphaeic/fdrs_formal Public

   Number representation when the base is a free parameter — a machine-checked corpus on function-defined radix systems, from positional notation as algebra to the geometry and conservation laws of co…

   Lean 8

2. Hyphaeic/sigil Hyphaeic/sigil Public

   Experimental Rust library for high-speed signal integrity simulation with IBIS-AMI model support targeting PCIe Gen 5/6

   Rust 2 1

3. Hyphaeic/STOK-CORE Hyphaeic/STOK-CORE Public

   STOK-Core implements State-Time Option Kernels end-to-end: a reinforcement learning toolkit modeling goal/constraint termination distributions for compositional planning. It pairs Burn-backed GPU …

   Rust 2 1

4. mixed-radix-complex mixed-radix-complex Public

   funny messing around / experiments in mixed radix encoding

   C