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.

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! 🚧 🚧 🚧

Mastering Go Second Edition, published by Packt

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

Cheat sheet for x86-64 Unix systems programming

Source code for Mastering Go, 3rd edition

Linux system calls.

A lightweight C++ RDMA library for InfiniBand networks.

😎 💡 Collection of the most awesome learning resources on computer systems in the form of videos, courses and tutorials.

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

The Floyd programming language

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.

free programming book on C, Linux and systems programming

💻 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 with you, so that they might help you in understanding the concepts.

Examples of common systems programming optimizations

Penguin OS Forensic (or Flight) Recorder

Tiny libubsan implementation for hobby kernels