CheckedcChecked 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-archiveA 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-sysprFHNW Modul System-Programmierung (syspr)
sre📚 Index for my study topics
daemonizeTemplate code for writing UNIX-daemons.
minilibA 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.
TransactionMasterA tool for Windows that can make any program work within file-system transactions.
bttLow level MacOS management in JavaScript via BetterTouchTool
Project-IrisIris systems programming language frontend & backend