systems-programming topic
systems
Resources for learning systems programming.
liblinux
Linux system calls.
floyd
The Floyd programming language
IL2C
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
systems-programming-cheat-sheet
Cheat sheet for x86-64 Unix systems programming
high-assurance-rust
A free book about developing secure and robust systems software.
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
nightingale
A small operating system where I experiment and learn osdev.
zerosharp
Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.