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 293 public repositories matching this topic...
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
Apr 10, 2024 - 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++
đź’» 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
WIP | A NoJSON/NoSQL Database Management System CLI | Check development branch for latest changes
macos linux cli open-source json embedded database command-line nosql dbms database-management embedded-database odin systems-programming database-design odin-lang document-based-db odin-language
-
Updated
May 5, 2025 - Odin
Examples of common systems programming optimizations
-
Updated
Aug 3, 2021 - Starlark
Penguin OS Forensic (or Flight) Recorder
linux incident-response dfir cybersecurity intrusion-detection digital-forensics systems-programming system-security cyber-threat-intelligence cyber-protection
-
Updated
Dec 25, 2024 - Perl
A simple Linux dynamic loader capable of loading simple binaries using simple shared libraries (no glibc support)
-
Updated
Mar 12, 2025 - C
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."