FstarA Proof-oriented Programming Language
PlottyC language compiler from scratch for a custom architecture, with virtual machine and all
pkcs11-toolsA set of tools to manage objects on PKCS#11 crypotographic tokens. Compatible with any PKCS#11 library, including NSS.
stressSingle-purpose tools to stress resources
mesccMike's Enhanced Small C Compiler for Z80 and CP/M.
30-seconds-of-c🔌Curated collection of useful C Programming tutorials, snippets, and projects that you can understand in 30 seconds or less.
CuikA Modern C11 compiler (STILL EARLY)
async2.hStackful Async Subroutines for C. Brings async 2 C
rb treeRed-black tree C implementation
physfs-oldUNOFFICIAL Git mirror of PhysicsFS Mercurial repository. The official repository has also moved to GitHub; this one will no longer be updated. Official website: