systems-programming

A reference of Windows API function calls, including functions for file operations, process management, memory management, thread management, dynamic-link library (DLL) management, synchronization, interprocess communication, Unicode string manipulation, error handling, Winsock networking operations, and registry operations.

windows reverse-engineering windows-10 cheatsheet syscalls malware-analysis malware-research windows-api systems-programming win32-api windows-internals windows-11

UpdatedOct 4, 2024

tnballo /high-assurance-rust

Star1.4k

A free book about developing secure and robust systems software.

rust security book reliability systems-programming

UpdatedJul 6, 2025
Rust

labex-labs /practice-c-programming-projects

Star1.1k

Build real C projects with 18 beginner-friendly challenges. Learn by doing with guided coding exercises and practical applications.

c computer-science awesome programming algorithms projects embedded-systems data-structures awesome-list exercises beginner-friendly operating-systems structured-learning low-level-programming systems-programming c-programming educational-resources hands-on programming-tutorials labex

UpdatedNov 13, 2025

magmide /magmide

Star831

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

dependent-types coq logic verification formal-methods type-safety formal-verification systems-programming

UpdatedApr 1, 2024
Coq

pikelet-lang /pikelet

Star628

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records

UpdatedMay 16, 2021
Rust

kekyo /IL2C

Sponsor

Star443

IL2C - A translator for ECMA-335 CIL/MSIL to C language.

c arduino translator csharp fsharp dotnet transpiler aot msil uefi cil wdm systems-programming intermediate-language ecma335

UpdatedJun 19, 2022
C#

PacktPublishing /Mastering-Go-Second-Edition

Star413

Mastering Go Second Edition, published by Packt

go golang systems-programming

UpdatedJan 30, 2023
Go

jstrieb /systems-programming-cheat-sheet

Star380

Cheat sheet for x86-64 Linux systems programming

cheat-sheets unix x86-64 cheatsheet cheatsheets systems-programming cheat-sheet

UpdatedJul 2, 2021
TeX

mactsouk /mastering-Go-3rd

Star353

Source code for Mastering Go, 3rd edition

go programming-language golang book command-line-tool systems-programming

UpdatedMay 5, 2025
Go

zigbook /zigbook

Star331

A comprehensive guide to the Zig programming language, a journey from fundamentals to advanced systems programming.

c rust documentation docs zig rust-lang systems-programming ziglang zig-library zig-package zigbook

UpdatedNov 26, 2025
Zig

matheusmoreira /liblinux

Sponsor

Star216

Linux system calls.

linux linux-kernel syscalls systems-programming system-calls

UpdatedNov 18, 2019
Makefile

claudebarthels /infinity

Star205

A lightweight C++ RDMA library for InfiniBand networks.

networking interface high-performance-computing rdma infiniband network-programming systems-programming mellanox one-sided rdma-tutorial

UpdatedMay 12, 2022
C++

volution /vonuvoli-scheme

Star182

vonuvoli Scheme -- an R7RS interpreter written in Rust focused on systems programming and scripting (i.e. processes, file-system, etc.) with performance and safety in mind

rust scheme interpreter functional-programming scripting r7rs rust-lang work-in-progress systems-programming shell-scripting systems-scripting