Related
erlang, ssl and asn1
ppolv.wordpress.com · · Page
C3 Programming Language
Note ·
C3 programming language. Full C ABI compatibility, Module system, Generic modules, Design by contract, Zero overhead…
Cosmopolitan libc
Note ·
Cosmopolitan Libc: build-once run-anywhere C library makes C a build-once run-anywhere language, like Java, except it…
Redbean
Note ·
Redbean single-file distributable web server is built using cosmopolitan. Redbean's home page does a great job of…
C Programming Langauge
Note ·
Why C? "The Endurance of an Unmanageable Language" - Some Were Meant for C; via ATS As a Systems Programming Language…
Xr0
xr0.dev · · Page
Xr0 is a verifier for C. It eliminates many stubborn instances of undefined behaviour, like use-after-frees, double…