1Type-level invariants in the Spectre Programming Language (opens in new tab)(spectre-docs.pages.dev)1death_eternal22d ago0
2Show HN: Spectre: A systems design-by-contract language, self hosted compiler (opens in new tab)(spectrelang.org)3death_eternal25d ago0
3Spectre – A design-by-contract, compiled programming language with QBE back end (opens in new tab)(github.com)1death_eternal1mo ago0
4Show HN: I'm writing a scalable alternative to gource with diff animation modes (opens in new tab)(github.com)1death_eternal3mo ago0
6Show HN: I implemented generics in my programming language (opens in new tab)(axe-docs.pages.dev)38death_eternal4mo ago21
7Show HN: Axe - A Systems Programming Language with Builtin Parallelism and No GC (opens in new tab)(axelang.org)16death_eternal5mo ago5
8Show HN: Versed, content aggregator site with graph views and customizable feeds (opens in new tab)(versed.cc)1death_eternal8mo ago0
9Show HN: Scar – A programming language for easy concurrency and parallelism (opens in new tab)(scarlang.pages.dev)7death_eternal9mo ago7
