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

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 Unix 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

💻 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

This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.