Kefir 0.5.0 Release Announcement (C17/C23 Compiler)
12 hours ago
- #programming
- #C-compiler
- #open-source
- Release of Kefir, an independent C17/C23 compiler built solo.
- Extensively validated for x86_64 & System-V ABI with SSA-based optimization and DWARF-5 support.
- Supports Linux (glibc & musl), FreeBSD, OpenBSD, NetBSD.
- Validated by compiling and running well-known open-source projects like GNU coreutils, Git, Nginx, etc.
- Features include SSA-based IR, optimization passes, DWARF5 debug info, and position-independent code.
- Bit-identical bootstrap from host compiler on all supported platforms.
- Licensed under GNU GPLv3 for the compiler and BSD-3 for runtime includes.
- Independent project with no external funding or institutional support.
- Includes extensive validation proofs like source code, test logs, and OCI images.
- Dedicated to Sloka & Kauguri.