Stars
Safe high-level bindings for the Boolector SMT solver
Symbolic execution of LLVM IR with an engine written in Rust
Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
A menagerie of cute implementations of modern typechecking algorithms
The static-site blog template using astro and typst
KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization
A powerful and user-friendly binary analysis platform!
Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework
An extremely fast Python package and project manager, written in Rust.
Alkali is a MLIR-based compiler infrastructure for SmartNICs. It allows developers to write target-independent programs, with the compiler automatically managing cross-NIC porting and performance o…
Distributed Compiler based on Triton for Parallel Systems
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
Staging repo for development of native port of TypeScript
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
Exocompilation for productive programming of hardware accelerators
A modular, parametrizable, and highly flexible Data Movement Accelerator (DMA)
The Tensor Algebra SuperOptimizer for Deep Learning
ARIES: An Agile MLIR-Based Compilation Flow for Reconfigurable Devices with AI Engines (FPGA 2025 Best Paper Nominee)
The official repository for the gem5 computer-system architecture simulator.
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs