A machine learning compiler for GPUs, CPUs, and ML accelerators

build-once run-anywhere c library

Yosys RTLIL dialect for MLIR

A Cryptographically Verifiable DBMS

Zero-knowledge template library

LLM serving cluster simulator

LoongArch userspace emulator

Common SystemVerilog components

wip: a playground repository dedicated to implement random polyhedral compiler algorithms (an attempt to reimplement extended integer set library?)

A new Hardware Design Language that keeps you in the driver's seat

Modular ZK(Zero Knowledge) backend accelerated by GPU

To generate conventional systolic arrays with Spinal HDL

Homomorphic Encryption library and applications in Swift

P4 language tutorials

The Pairing-based Crypto library

Spartan on Arkworks

High Performance Implementation of Secure Multiparty Computation protocols

Open-source AI acceleration on FPGA: from ONNX to RTL

NS3 support for P4 programs using bmv2

Load balancer for key-value stores with fast in-network caching

In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU

Artifact for paper "PIM is All You Need: A CXL-Enabled GPU-Free System for LLM Inference", ASPLOS 2025

The HW-CBMC and EBMC Model Checkers for Verilog

A server-side CKKS GPU library fully interoperable with OpenFHE.

HW Design Collateral for Caliptra Subsystem, which comprises Caliptra RoT IP and additional manufacturer controls.

An Automated Performance Optimization Framework for P4-Programmable SmartNICs