Hilbert-4B architecture spec with CUDA kernels (RMSNorm, FlashAttn, SwiGLU, RoPE). Ampere GPUs, GGUF export.
cudapythonc++
GitHub →
NVIDIA GPU computing stack integration with CUDA, PTX, and kernel optimization tooling.
cudaptx
GitHub →
Complete deterministic processor in pure Ada. 21 packages, RTX tensor engine, formal assertions, Lovelace design.
ada
GitHub →
x86_64 assembly reconstruction of TWIN-MARS agent. Direct syscalls, no libc dependencies.
x86_64 asm
GitHub →
Assembly language primitives for sovereign execution with verified instruction sequences.
asm
GitHub →
Apollo Guidance Computer rebuilt in 7 languages. Ada SPARK verification, Idris 2 proofs, Lean 4 zero-sorry.
adaidris2lean4fortran
GitHub →
Apollo Guidance Computer rebuilt by 7 AI systems with formal verification and quantum ignition circuits.
adafortranpython
GitHub →
GRiSP embedded hardware fleet with shadow execution and sovereign attestation.
erlang
GitHub →
Zero-variance hardware trigger for ORTHO-32-T deterministic fabric. x86_64 assembly, SMMU shadow architecture.
asmverilog
GitHub →
Public API for ARM64 EL2 hypervisor, ORTHO-32-T chip fabric, formally verified AGI kernel.
carm64
GitHub →