The Foundations of Computer Systems Lab (FOCS lab for short) is led by Umang Mathur.
See lab website for more details.
FOCS Lab
Foundations of Computer Systems Lab, headed by Prof Umang Mathur
Pinned Loading
Repositories
Showing 10 of 27 repositories
- parikh-theorem Public
Parikh’s theorem in Lean 4 using Mathlib, with a certified compiler from finite grammars to semilinear representations.
- focs-lab.github.io Public
- llvm-project Public Forked from llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
- trace-theory-lean Public
- lean-relational-algebra Public
Kleene algebra, KAT, and relation algebra in Lean 4 / Mathlib, with completeness proofs and proof-producing tactics. Based on Damien Pous’s relation-algebra library.
-
- llvm-project-wtc Public Forked from llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
- llvm-project-tsan Public Forked from llvm/llvm-project
The LLVM Project fork for TSan contributions.
Top languages
Loading…
Most used topics
Loading…