Spectre: A systems design-by-contract language, self hosted compiler
Design-by-contract baked into grammar for a no-GC systems language.

Design by contract is a nice touch, but the language lacks a clear edge over Rust or Zig.
Systems programmers and language enthusiasts
Rust Playground · Zig Online · Godbolt Compiler Explorer
Design-by-contract baked into grammar for a no-GC systems language.
Prefix notation language that cuts LLM token usage by 70% compared to Python or C.
Systems language with custom compiler backend—no LLVM, from lexer to native binary.
Set-theoretic constraint system where guarantees are values, not annotations — novel PL approach.
9th-grader's language design project; no working interpreter, mostly aspirational syntax.
Proof-of-concept flight sim for the author's own Spectre language.