Hua Yanghao's repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
activecore
Hardware generation library based on "Kernel IP" (KIP) cores: programmable execution kernels inferred from microarchitectural templates
ALADDIN
A pre-RTL, power-performance model for fixed-function accelerators
cascade-artifacts
Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)
codon
A high-performance, zero-overhead, extensible Python compiler using LLVM
ggml
Tensor library for machine learning
go-llvm
Go bindings to a system-installed LLVM. Used as part of TinyGo.
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
lark
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
llama.cpp
LLM inference in C/C++
llm.c
LLM training in simple, raw C/CUDA
llvm-go
Library for interacting with LLVM IR in pure Go.
numba
NumPy aware dynamic Python compiler using LLVM
OpenFPGA
An Open-source FPGA IP Generator
or-tools
Google's Operations Research tools:
patmos
Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project
pymlir
Python interface for MLIR - the Multi-Level Intermediate Representation
revng
revng: the core repository of the rev.ng project
RTLflow
A GPU acceleration flow for RTL simulation with batch stimulus
siliconcompiler
SiliconCompiler is an open source build system that automates translation from source code to silicon.
sionna
Sionna: An Open-Source Library for Next-Generation Physical Layer Research
taskflow
A General-purpose Parallel and Heterogeneous Task Programming System
triton
Development repository for the Triton language and compiler
wasmtime
A fast and secure runtime for WebAssembly
whisper.cpp
Port of OpenAI's Whisper model in C/C++