systems-programming topic
List
systems-programming repositories
systems
50
Stars
1
Forks
Watchers
Resources for learning systems programming.
liblinux
210
Stars
10
Forks
Watchers
Linux system calls.
floyd
149
Stars
13
Forks
Watchers
The Floyd programming language
IL2C
392
Stars
36
Forks
Watchers
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
pikelet
606
Stars
25
Forks
Watchers
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
systems-programming-cheat-sheet
354
Stars
23
Forks
Watchers
Cheat sheet for x86-64 Unix systems programming
high-assurance-rust
1.3k
Stars
36
Forks
Watchers
A free book about developing secure and robust systems software.
magmide
807
Stars
14
Forks
Watchers
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
nightingale
125
Stars
12
Forks
Watchers
A small operating system where I experiment and learn osdev.
zerosharp
2.0k
Stars
101
Forks
Watchers
Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.