Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.
-
Updated
Jul 6, 2024 - C#
#
systems-programming
Here are 362 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
Compiler for the Vale programming language - http://vale.dev/
-
Updated
May 14, 2024 - Scala
A free book about developing secure and robust systems software.
-
Updated
Jul 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.
windows reverse-engineering windows-10 cheatsheet syscalls malware-analysis malware-research windows-api systems-programming win32-api windows-internals windows-11
-
Updated
Oct 4, 2024
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
-
Updated
Apr 1, 2024 - Coq
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
-
Updated
May 16, 2021 - Rust
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
-
Updated
Jun 19, 2022 - C#
Mastering Go Second Edition, published by Packt
-
Updated
Jan 30, 2023 - Go
Cheat sheet for x86-64 Linux systems programming
-
Updated
Jul 2, 2021 - TeX
Source code for Mastering Go, 3rd edition
-
Updated
May 5, 2025 - Go
Linux system calls.
-
Updated
Nov 18, 2019 - Makefile
A lightweight C++ RDMA library for InfiniBand networks.
networking interface high-performance-computing rdma infiniband network-programming systems-programming mellanox one-sided rdma-tutorial
-
Updated
May 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
rust scheme interpreter functional-programming scripting r7rs rust-lang work-in-progress systems-programming shell-scripting systems-scripting
-
Updated
Aug 14, 2024 - Rust
COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼
programming-language compiler static cobol systems-language robust compiled typed dinosaur imperative-programming-language static-typed structured systems-programming dinosaurs robustness imperative-programming structured-programming ldpl
-
Updated
Nov 12, 2024 - C++
The Floyd programming language
language c-plus-plus performance immutable actors cpp game-development concurrency parallelism floyd threading cache-control general-purpose composable systems-programming optimisation immutable-data-structures persistent-data-structures software-systems
-
Updated
Oct 24, 2022 - C++
Game Developer's Toolkit for CPU Management
rust gamedev performance cpu scheduling ffi realtime multithreading hybrid-cpu gdt systems-programming thread-affinity
-
Updated
May 25, 2025 - Rust
WIP | Harness The Power of OstrichDB Directly From Your Terminal! | Featured on Awesome Odin!
macos linux cli open-source database nosql dbms http-server database-management odin systems-programming odin-lang ostrichdb awesome-odin
-
Updated
May 30, 2025 - Odin
🚀 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. 💎
c programming-language delphi pascal performance embedded compiler llvm game-development native-code systems-programming win64 zero-overhead windows-11 abi-compatibility better-c
-
Updated
Aug 7, 2025 - Pascal
💻 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.
pcb assembly-language dosbox assembly-language-programming interrupts assembly-8086 systems-programming solved-exercices afd nasm-assembly assembly-x86 software-interrupts hardware-interrupts video-memory bao-ji belal-hashmi-book-solutions bilal-hashmi-exercise-solutions belal-hashmi-solved-exercises belal-hashmi-answers cs401-solved-exercises
-
Updated
Jan 30, 2025 - Assembly
A lovely programming language
-
Updated
Aug 4, 2025 - Rust
Improve this page
Add a description, image, and links to the systems-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the systems-programming topic, visit your repo's landing page and select "manage topics."