Spectre Programming Language

Spectre is a programming language designed for safe, low-level systems programming through contract-based programming with type-level invariants, preconditions, and postconditions. It emphasizes safety via immutability by default and manual memory management while maintaining developer convenience, with contracts evaluated at compile-time when possible and at runtime otherwise. The language compiles to QBE IR and includes features like a `trust` keyword for explicit unsafe operations and a C-to-Spectre translation tool for migrating existing projects.