An Open Source Machine Learning Framework for Everyone

A library that provides an embeddable, persistent key-value store for fast storage.

SQL powered operating system instrumentation, monitoring, and analytics.

Frame profiler

Icarus Verilog

Intel® Performance Counter Monitor (Intel® PCM)

Demonstration of various hardware effects.

NoSQL Redis and Memcache traffic generation and benchmarking tool.

The Stanford Builder

Scalable Network Stack for FPGAs (TCP/IP, RoCEv2)

This is a repository for the code posted on my blog

P4_16 reference compiler

A library that provides an embeddable, persistent key-value store for fast storage optimized for AWS

Linux user space library for network socket acceleration based on RDMA compatible network adaptors

NOVA Microhypervisor

A Just-In-Time Compiler for Verilog from VMware Research

A static checker for identifying unstable code.

A collection of extensions for Vitis and Intel FPGA OpenCL to improve developer quality of life.

Tracy client libraries for Rust

This tool translates synthesizable SystemC code to synthesizable SystemVerilog.

A lightweight C++ RDMA library for InfiniBand networks.

Ready-made packages of software for running on the Rumprun unikernel

Mutilate: high-performance memcached load generator

This is the source code for our (Tobias Ziegler, Carsten Binnig and Viktor Leis) published paper at SIGMOD’22: ScaleStore: A Fast and Cost-Efficient Storage Engine using DRAM, NVMe, and RDMA.

Parallel Memory Bandwidth Measurement / Benchmark Tool

A DSL for efficient Graph Analysis

Pointer-chasing memory benchmark (forked from Doug Pase's code).

tools to create performance and roofline plots from measured data

Chai