CGRA-Flow is an integrated framework for CGRA compilation, exploration, synthesis, and development.

Protocol Buffers with small code size

Generate a random stock portfolio and find out if it beats the markets!

The libdispatch Project, (a.k.a. Grand Central Dispatch), for concurrency on multicore hardware

Benchmarking suite for Google workloads

Easily build and run CHERI related projects

Source code for the software implementation of Sibyl proposed in our ISCA 2022 paper: Gagandeep Singh et. al., "Sibyl: Adaptive and Extensible Data Placement in Hybrid Storage Systems using Online …

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Powerful, automated analysis and design of quantum microwave chips & devices [Energy-Participation Ratio and more]

An integrated cache and memory access time, cycle time, area, leakage, and dynamic power model

Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read

Two-Level Segregated Fit memory allocator implementation.

Standard Cell Library based Memory Compiler using FF/Latch cells

Simulate electronic circuit using Python and the Ngspice / Xyce simulators

A time-predictable processor for mixed-criticality systems

Static exception memory allocation policy.

Open Source tool to build liberty files and for Characterizing Standard Cells.

Suite for benchmarking malloc implementations.

Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C

Benchmarks for our memory allocator

The perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and …

Murphi language support for VS code.

A home for the classic model checking tool with the intention to keep it maintained for current systems

Simple no frills AWS S3 Golang Library using REST with V4 Signing (without AWS Go SDK)

Files for production of ASIC via Google and Skywater shuttle program.

Intel Management Engine JTAG Proof of Concept

Fully Open Source FASOC generators built on top of open-source EDA tools

OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.