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. lean-mlir lean-mlir Public

    A minimal development of SSA theory

    Lean 209 23

  2. sail-riscv-lean sail-riscv-lean Public

    Lean 23 7

  3. paper-template paper-template Public

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

    TeX 44 17

Repositories

Showing 10 of 78 repositories
  • veir Public

    Verified Intermediate Representation

    opencompl/veir’s past year of commit activity
    Lean 23 2 13 5 Updated Feb 10, 2026
  • sail-riscv-lean Public
    opencompl/sail-riscv-lean’s past year of commit activity
    Lean 23 7 0 0 Updated Feb 10, 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 767 0 10 Updated Feb 9, 2026
  • fp-lean Public

    Floating Point Semantics Mechanization for Lean

    opencompl/fp-lean’s past year of commit activity
    Lean 12 Apache-2.0 0 4 1 Updated Feb 9, 2026
  • valaig Public

    Verified Model Checking Certificates in Lean

    opencompl/valaig’s past year of commit activity
    Lean 1 0 0 0 Updated Feb 6, 2026
  • xdsl-smt Public

    The implementation of an SMTLib dialect for xDSL

    opencompl/xdsl-smt’s past year of commit activity
    Python 17 7 2 2 Updated Feb 6, 2026
  • opentitan Public Forked from lowRISC/opentitan

    OpenTitan: Open source silicon root of trust

    opencompl/opentitan’s past year of commit activity
    SystemVerilog 0 Apache-2.0 963 0 0 Updated Feb 6, 2026
  • lean-mlir Public

    A minimal development of SSA theory

    opencompl/lean-mlir’s past year of commit activity
    Lean 209 23 40 24 Updated Feb 2, 2026
  • llvm-project Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

    opencompl/llvm-project’s past year of commit activity
    LLVM 1 16,346 0 3 Updated Jan 28, 2026
  • riscv-lean Public
    opencompl/riscv-lean’s past year of commit activity
    Lean 13 0 0 2 Updated Jan 27, 2026
View all repositories

Most used topics

lean4 floating-point