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

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

A free book about developing secure and robust systems software.

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

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

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

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

Mastering Go Second Edition, published by Packt

Cheat sheet for x86-64 Linux systems programming

Source code for Mastering Go, 3rd edition

Linux system calls.

A lightweight C++ RDMA library for InfiniBand networks.

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

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

The Floyd programming language

A high-performance, no_std compliant ELF loader and JIT linker for Rust.

Game Developer's Toolkit for CPU Management

a minimal memory allocator in C

Fast RISC-V emulator written in Rust. Boots Linux.

A programming language for people who want to know what their code is doing.

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

Formation en français pour maîtriser le langage C sur Ubuntu/Linux - De la syntaxe à la programmation système, avec outillage DevOps moderne (CMake, CI/CD, eBPF)

A lovely programming language

💻 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.

Examples of common systems programming optimizations

Penguin OS Forensic (or Flight) Recorder

🚀 Zero-config automatic memory allocator for Rust - just add one line and get up to 1.6x faster allocation performance across all platforms

A simple Linux dynamic loader capable of loading simple binaries using simple shared libraries (no glibc support)

bare-metal i386 Gopher server for Linux

FHNW Modul System-Programmierung (syspr)