The Nova Systems Programming Language: Zero-GC Perceus Memory, Z3 SMT Refinements, Bare-Metal Parity
programming-language compiler concurrency self-hosted z3 nova refinement-types type-system smt-solver bare-metal reference-counting systems-programming perceus
-
Updated
Nov 8, 2026 - Rust