HateArena – A free and open source arena shooter g github.com 31 death_eternal 4 months ago 8 comments
Type-level invariants in the Spectre Programming Language s spectre-docs.pages.dev 1 death_eternal 6 months ago 0 comments
Show HN: Spectre: A systems design-by-contract language, self hosted compiler s spectrelang.org 3 death_eternal 6 months ago 0 comments
Spectre – A design-by-contract, compiled programming language with QBE back end g github.com 1 death_eternal 6 months ago 0 comments
