GeezerVison is showing github.com — opencompl
Compiler Research at The University of Cambridge This organization contains our research projects, collaborative research projects, as well as software that we develop for our community.
For further information, check out our website at https://grosser.science/ .
Pinned
Loading
Verified Intermediate Representation
Lean
141
46
A minimal development of SSA theory
Lean
275
31
A template for writing CS papers with latex -- includes CI, todonotes, ...
TeX
46
21
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C++
GAP
GCC Machine Description
Isabelle
Lean
LLVM
MLIR
OCaml
Python
Scala
SystemVerilog
TeX
TypeScript
Verilog
Sort
Showing 10 of 97 repositories
veir
Public
Verified Intermediate Representation
opencompl/veir's past year of commit activity
opencompl/veir-sqlite's past year of commit activity
MLIR
0
1
0
0
Updated Nov 12, 2026
opencompl/veir-interpreter-scoreboard's past year of commit activity
LLVM
0
0
0
0
Updated Nov 12, 2026
opencompl/xdsl-autotuning-paper-experiments's past year of commit activity
MLIR
3
0
5
11
Updated Nov 11, 2026
opencompl/lean4's past year of commit activity
Lean
0
Apache-2.0
1,125
0
10
Updated Nov 5, 2026
opencompl/sid-phd-thesis's past year of commit activity
TeX
2
1
0
0
Updated Nov 5, 2026
fp-lean
Public
Floating Point Semantics Mechanization for Lean
opencompl/fp-lean's past year of commit activity
Lean
28
Apache-2.0
3
7
3
Updated Nov 4, 2026
valaig
Public
Verified Model Checking Certificates in Lean
opencompl/valaig's past year of commit activity
Lean
3
1
0
0
Updated Nov 2, 2026
opencompl/riscv-lean's past year of commit activity
Lean
18
2
0
0
Updated Nov 2, 2026
mlir-fuzz
Public
A enumerator for MLIR, relying on the information given by IRDL.
opencompl/mlir-fuzz's past year of commit activity
C++
26
5
1
4
Updated Oct 8, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.