Type-level invariants in the Spectre Programming Languagespectre-docs.pages.dev·1 pts·death_eternal·0
Show HN: Spectre: A systems design-by-contract language, self hosted compilerspectrelang.org·3 pts·death_eternal·0
Spectre – A design-by-contract, compiled programming language with QBE back endgithub.com·1 pts·death_eternal·0
Show HN: I'm writing a scalable alternative to gource with diff animation modesgithub.com·1 pts·death_eternal·0
Show HN: Axe - A Systems Programming Language with Builtin Parallelism and No GCaxelang.org·16 pts·death_eternal·5
Show HN: Versed, content aggregator site with graph views and customizable feedsversed.cc·1 pts·death_eternal·0
Show HN: Scar – A programming language for easy concurrency and parallelismscarlang.pages.dev·7 pts·death_eternal·7