Stars
Awkernel: realtime operating system written in Rust
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
An autonomous AI racecar using NVIDIA Jetson Nano
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Search-based test generation toolbox written in Python
Compute the Skorokhod distance between traces.
Map handling framework for automated driving
A scenario-based simulation framework for Autoware
A DKMS package for easy use of Realtek r8125 driver, which supports 2.5 GbE.
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
Benchmark for undergraduate-level formal mathematics
LLMs as Copilots for Theorem Proving in Lean
Benchmarking lightweight DDD models with public datasets and vehicle features.
MATLAB/Simulink sample code suite for Autoware.
Projects, models, and proofs in KeYmaera X
Powerful, mature open-source cross-platform game engine for Python and C++, developed by Disney and CMU
MetaDrive: Lightweight driving simulator for everyone
A minimalist environment for decision-making in autonomous driving
Monadic effects and equational reasoning in Rocq