Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.

• UpdatedJul 6, 2024
• C#

Compiler for the Vale programming language -http://vale.dev/

• UpdatedMay 14, 2024
• Scala

A free book about developing secure and robust systems software.

• UpdatedJul 6, 2025
• Rust

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.

• UpdatedOct 4, 2024

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

• UpdatedApr 1, 2024
• Coq

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

• UpdatedMay 16, 2021
• Rust

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

• UpdatedJun 19, 2022
• C#

Mastering Go Second Edition, published by Packt

• UpdatedJan 30, 2023
• Go

Cheat sheet for x86-64 Linux systems programming

• UpdatedJul 2, 2021
• TeX

Source code for Mastering Go, 3rd edition

• UpdatedMay 5, 2025
• Go

Linux system calls.

• UpdatedNov 18, 2019
• Makefile

A lightweight C++ RDMA library for InfiniBand networks.

• UpdatedMay 12, 2022
• C++

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

• UpdatedAug 14, 2024
• Rust

COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼

• UpdatedNov 12, 2024
• C++

The Floyd programming language

• UpdatedOct 24, 2022
• C++

Game Developer's Toolkit for CPU Management

• UpdatedMay 25, 2025
• Rust

WIP | Harness The Power of OstrichDB Directly From Your Terminal! | Featured on Awesome Odin!

• UpdatedMay 30, 2025
• Odin

💻 This repository provides solutions to most of the programming questions in the exercise given at the back of chapters for Bao Ji's Book (text book for course "Comp. Organization & Assembly Lang. EE213" at FAST). Sharing these, so they might help students in understanding the Assembly concepts.

• UpdatedJan 30, 2025
• Assembly

Examples of common systems programming optimizations

• UpdatedAug 3, 2021
• Starlark

🚀 CPascal is a systems programming language that combines Pascal's clean, readable syntax with C's semantic model and full ABI compatibility. ⚡ Compiles to LLVM with zero runtime overhead, enabling seamless interoperation with any C library without bindings. 🎮 Ideal for game development, 🔧 device drivers, and modernizing C codebases. 💎

• UpdatedJul 16, 2025
• Pascal