All Categories → No Category → system-programming

Top 16 system-programming open source projects

Checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, a…
autoconf-archive
A mirror of the GNU Autoconf Archive, a collection of more than 500 macros for GNU Autoconf that have been contributed as free software by friendly supporters of the cause from all over the Internet.
fhnw-syspr
FHNW Modul System-Programmierung (syspr)
minilib
A c standard system library with a focus on size, headeronly, "singlefile", intended for static linking. 187 Bytes for "Hello World"(regular elf), compiled with the standard gcc toolchain.
TransactionMaster
A tool for Windows that can make any program work within file-system transactions.
Project-Iris
Iris systems programming language frontend & backend
1-16 of 16 system-programming projects