Stars
A verification tool for many memory models
Instant AI Git Commit message, Git changes summary from the CLI (no API key required)
🕊️ A crowd-sourced guide to help techs help their non-tech spouses / partners / parents / kids when we are at the end-of-life
A public database of C compiler test cases, minimal test runners, and public test results.
NVIDIA HPCG is based on the HPCG benchmark and optimized for performance on NVIDIA accelerated HPC systems.
Traces the shared-object dependencies of a binary, and graphs them.
Automatic Ripping Machine (ARM) Scripts
Port clangd language server to WASM, and run it in your browser.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
A new markup-based typesetting system that is powerful and easy to learn.
A C++ data structure visualization library using GraphViz
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
Collection of builder repositories for BinaryBuilder.jl
Quickly find differences and similarities in disassembled code
Ciel identifies the root cause of numerical inconsistencies induced by compilers
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
METIS - Serial Graph Partitioning and Fill-reducing Matrix Ordering
Omnitrace: Application Profiling, Tracing, and Analysis