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 about 1 month ago 1 commits 1 stars
vortex-ai|Mirror: computer-whisperer/shard (⭐1)
about 1 month 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