OptiWISE profiling tool for granular CPI analysis.

Intel PMU profiling tools

RISC-V Instruction Set Manual

A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.

NOELLE Offers Empowering LLVM Extensions

Static Value-Flow Analysis Framework for Source Code

A Speculation-Aware Collaborative Dependence Analysis Framework

Useful shortcuts for bash/zsh

Clang frontend to Tapir Compiler, includes implementation of Cilk language in frontend

Tapir extension to LLVM for optimizing Parallel Programs

Collection of Cilk tools, built using the Cilk OpenKimono framework.

Resources on the Artifact Evaluation (AE) Process

List of Computer Science courses with video lectures.

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

An Enhanced OpenMP Library

Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.

A cheatsheet of modern C++ language and library features.

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

🎓 All things Vim!

A categorized list of C++ resources.

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Gdbinit for OS X, iOS and others - x86, x86_64 and ARM