Constrained Delaunay Triangulation (C++)

A fast and accurate disassembler

An open-source C++ library developed and used at Facebook.

Fil-C: completely compatible memory safety for C and C++

Concurrent decision diagram framework written in Rust

10 papers that all PhD students in programming languages ought to know, for some value of 10

IdeaVim – A Vim engine for JetBrains IDEs

Kos programming language

Record and Replay Framework

Papers from the computer science community to read and discuss.

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

CrashMonkey: tools for testing file-system reliability (OSDI 18)

A very small C interpreter

The official repository for the gem5 computer-system architecture simulator.

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

A portable foreign-function interface library.

scripting language for linux kernel scheduler

A toolkit for enforcing logical specifications on neural networks

Source code for performing 2d rectangular bin packing.

Cross-platform asynchronous I/O

RISC-V Formal Verification Framework

Parsing Expression Grammar Template Library

Simple .INI file parser in C, good for embedded systems

Wt, C++ Web Toolkit

Tutorial on modeling with TLA+

Apache NuttX is a mature, real-time embedded operating system (RTOS)

The efficient SMT-based context-bounded model checker (ESBMC)

C++20 Coroutines Cheat Sheet

Subprocessing with modern C++

A general-purpose lightweight C++ graph library