SafeCSafe, Deterministic Systems Programming

A region-aware evolution of C with compile-time memory safety, zero hidden costs, and full C ABI compatibility.

Region-Based Memory Safety

Stack, heap, arena, and static regions enforced at compile time. No garbage collector, no runtime overhead.

Zero Hidden Cost

No implicit allocations, no hidden runtime, no background GC, no implicit exceptions. Every operation has a visible cost.

C ABI Compatible

C struct layout, C calling conventions, native

Compile-Time First

consteval functions, static_assert, if const, generics via monomorphization. Everything knowable at compile time is resolved at compile time.

Bare-Metal Ready

--freestanding mode, naked functions, interrupt handlers, inline assembly, volatile I/O, section placement. Build kernels and firmware.

Modern Language Features

Generics, struct methods, operator overloading, pattern matching, optional types, slices, defer, and typed channels.

Hello, SafeC

extern int printf(const char* fmt, ...);

region AudioPool { capacity: 65536 }

struct Sample {
    float left;
    float right;
};

int main() {
    // Arena allocation — deterministic, no malloc
    &arena<AudioPool> Sample s = new<AudioPool> Sample;
    s.left = 0.5;
    s.right = -0.3;

    printf("L=%.2f R=%.2f\n", s.left, s.right);
    arena_reset<AudioPool>();
    return 0;
}