systems-programming
There are 381 repositories under systems-programming topic.
MichalStrehovsky/zerosharp
Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.
ValeLang/Vale
Compiler for the Vale programming language - http://vale.dev/
7etsuo/windows-api-function-cheatsheets
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.
tnballo/high-assurance-rust
A free book about developing secure and robust systems software.
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! ๐ง ๐ง ๐ง
kekyo/IL2C
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
PacktPublishing/Mastering-Go-Second-Edition
Mastering Go Second Edition, published by Packt
jstrieb/systems-programming-cheat-sheet
Cheat sheet for x86-64 Linux systems programming
mactsouk/mastering-Go-3rd
Source code for Mastering Go, 3rd edition
matheusmoreira/liblinux
Linux system calls.
claudebarthels/infinity
A lightweight C++ RDMA library for InfiniBand networks.
volution/vonuvoli-scheme
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
Lartu/ldpl
COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases ๐ฆ๐ผ
Floydlang/floyd
The Floyd programming language
WildPixelGames/gdt-cpus
Game Developer's Toolkit for CPU Management
Archetype-Dynamics/OstrichDB-CLI
WIP | Harness The Power of OstrichDB Directly From Your Terminal! | Featured on Awesome Odin!
tinyBigGAMES/CPascal
๐ 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. ๐
kiahjh/lovely
A lovely programming language
harismuneer/BelalHashmi-Assembly-Exercise-Solutions
๐ป 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.
paulcavallaro/systems-programming
Examples of common systems programming optimizations
gmagklaras/POFR
Penguin OS Forensic (or Flight) Recorder
Ferdi265/dynamic-loader
A simple Linux dynamic loader capable of loading simple binaries using simple shared libraries (no glibc support)
rdmsr/tinyubsan
Tiny libubsan implementation for hobby kernels
tamberg/fhnw-syspr
FHNW Modul System-Programmierung (syspr)
spamegg1/modern-systems-scala-native
Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3
YeautyYE/auto-allocator
๐ Zero-config automatic memory allocator for Rust - just add one line and get up to 1.6x faster allocation performance across all platforms
checkedc/checkedc-fork
This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
ashn-dot-dev/sunder
A modest systems programming language for Unix-like platforms
bexxmodd/cr4sh_
cr4sh_ (pronounced crash, because it crashes all the time) is a Linux shell fully written with Rust. This can be used for educational purposes and is a great intro to Systems Programming
gvwilson/sudonomicon
An Introduction to Unix Systems for the Cautious and Weary
moki/cs61c
Great Ideas in Computer Architecture UC Berkeley EECS
harismuneer/Round-Robin-Scheduler
๐คน A C++ implementation of the Round Robin Scheduler algorithm for process scheduling.
jtod/Sigma16
Computer architecture for teaching and research in computer systems, with IDE, editor, assembler, linker, emulator, programming examples, digital circuit
cgyurgyik/riscv-assembly
Implementation of common functions using RISC-V assembly.
hesham-cant-fly/haste-lang
The official implemetation of the haste programming language