CobaltC – The Successor to C?

CobaltC is a statically typed systems programming language designed as a successor to C, offering memory safety features like explicit ownership, compiler-checked borrowing, and bounds-safe operations without requiring garbage collection. The language is intended for software requiring predictable resource management and strong memory safety while maintaining native execution and low-level control. Key features include structured error handling, safe concurrency, explicit unsafe operations, and support for foreign-function interfaces, with detailed specifications covering modules, declarations, primitive types, and syntax conventions.