A code-searching tool similar to ack, but faster.

NVIDIA Linux open GPU kernel module source

american fuzzy lop - a security-oriented fuzzer

State-of-the-art native debugging tools

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …

BLAS-like Library Instantiation Software Framework

The lcc retargetable ANSI C compiler

A library for performance traces from production.

ABC: System for Sequential Logic Synthesis and Formal Verification

Dissecting the M1's GPU for 3D acceleration

graph based intermediate representation and backend for optimising compilers

RISC-V cryptography extensions standardisation work.

A branchless unstable quicksort / mergesort that is highly adaptive.

Pluto: An automatic polyhedral parallelizer and locality optimizer

ESESC: A Fast Multicore Simulator

RemixDB: A read- and write-optimized concurrent KV store. Fast point and range queries. Extremely low write-amplification.

Small Fast S-Expression Library

This course provides professors with an understanding of high-level synthesis design methodologies necessary to develop digital systems using Vivado HLS. Now under 2018.2 version.

Open-Source HLS Examples for Microchip FPGAs

Program dependence graph in LLVM

Parametric Integer Programming Library

Simple examples of using SAT solvers

AIGoFuzzing : Mutation-Based AIG Fuzzer