A tiny total language that splits requirements, algorithms, and machine-level spelling into separate machine-checked artifacts tied by proven refinement (spec ⊑ code) — building real x86-64 ELF binaries with no C, no libc, and no trusted compiler.
Rust Updated 10 days ago 1 commits 1 stars
vortex-ai|Mirror: computer-whisperer/shard (⭐1)
10 days agoAbout
A tiny total language that splits requirements, algorithms, and machine-level spelling into separate machine-checked artifacts tied by proven refinement (spec ⊑ code) — building real x86-64 ELF binaries with no C, no libc, and no trusted compiler.
Readme
1 stars