Skip to content
@opencompl

opencompl

README.md

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

  1. veir veir Public

    Verified Intermediate Representation

    Lean 138 45

  2. lean-mlir lean-mlir Public

    A minimal development of SSA theory

    Lean 274 31

  3. sail-riscv-lean sail-riscv-lean Public

    Lean 40 10

  4. paper-template paper-template Public

    A template for writing CS papers with latex -- includes CI, todonotes, ...

    TeX 46 21

Repositories

Showing 10 of 97 repositories
  • veir Public

    Verified Intermediate Representation

    opencompl/veir's past year of commit activity
    Lean 138 45 44 (3 issues need help) 50 Updated Nov 5, 2026
  • veir-sqlite Public
    opencompl/veir-sqlite's past year of commit activity
    MLIR 0 1 0 0 Updated Nov 5, 2026
  • veir-interpreter-scoreboard Public

    A scoreboard for `veir-interpret`

    opencompl/veir-interpreter-scoreboard's past year of commit activity
    LLVM 0 0 0 0 Updated Nov 5, 2026
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    opencompl/lean4's past year of commit activity
    Lean 0 Apache-2.0 1,113 0 10 Updated Nov 5, 2026
  • sid-phd-thesis Public

    The one with my thesis

    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 2 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
  • riscv-lean Public
    opencompl/riscv-lean's past year of commit activity
    Lean 17 1 0 0 Updated Nov 2, 2026
  • xdsl-autotuning-paper-experiments Public
    opencompl/xdsl-autotuning-paper-experiments's past year of commit activity
    MLIR 3 0 5 11 Updated Oct 29, 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
View all repositories

Most used topics

lean4 floating-point