SMACK Software Verifier and Verification Toolchain
OTHER License
The development kit for over a hundred z80 family machines - c compiler, assembler, linker, libra...
web-based IDE for 8-bit programming and Verilog development
The single instruction C compiler
Fast and lightweight x86/x86-64 disassembler and code generation library
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-...
libsv - Public domain cross-platform semantic versioning in c99
cc65 - a freeware C compiler for 6502 based systems
This was a fork of Checked C used from 2021-2024. The changes have been merged into the original...