Generic and TypeSafe Programming In C
Sum types and compile-time type matching in plain C11 without a custom compiler.
Systems programmers, embedded developers, C enthusiasts
GLib · Apache APR · stb libraries
Modern language that generates clean C11—not a wrapper, actual compiler pipeline with formal grammar and LSP.
Freestanding C++23 libc replacement with zero external dependencies—genuinely rare engineering.
Sealed types + exhaustive pattern matching compile to flat Go interop—no runtime overhead.
Compiler written in JavaScript outputs raw ELF64 bytes without linking against libc or CRT.
Type-safe Rust-to-Haskell FFI with automatic memory management via ForeignPtr.
DevTools-friendly named providers beat generic Provider wrappers, but unstated-next is niche.