Open source repo for the Multi Bucket Queue.

Mesh optimization library that makes meshes smaller and faster to render

LLM training in simple, raw C/CUDA

The MaPLe compiler for efficient and scalable parallel functional programming

2D and 3D physics engines focused on performance.

C/C Performance Profiler

Frame profiler

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

stb single-file public domain libraries for C/C

Benchmarking suite for Google workloads

Cilk application benchmark programs

Converter for import Android contacts (*.vcf files) to Windows Phone (*.csv files).

Cross-platform atomic operations and lock algorithm library

gem5 repository to study chiplet-based systems

Implementation of the "Relaxed Parallel Priority Queue with Filter Levels"

Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

The Stan transpiler (from Stan to C and beyond).

XLS: Accelerated HW Synthesis

A method of characteristics code for nuclear reactor physics calculations.

Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"

ordspecsim: The Swarm architecture simulator

Circuit IR Compilers and Tools

CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).

An Open Source Implementation of the Actor Model in C

Savina is an Actor Benchmark Suite.

Example designs showing different ways to use F4PGA toolchains.

Galois: C library for multi-core and multi-node parallelization

A 3-node Ceph cluster running on Vagrant VMs.