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 217 24

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

    Lean 27 8

  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 36 5 16 8 Updated Mar 22, 2026
  • sail-riscv-lean Public
    opencompl/sail-riscv-lean’s past year of commit activity
    Lean 27 8 0 0 Updated Mar 22, 2026
  • fp-lean Public

    Floating Point Semantics Mechanization for Lean

    opencompl/fp-lean’s past year of commit activity
    Lean 13 Apache-2.0 0 4 1 Updated Mar 22, 2026
  • riscv-paper-experiments Public
    opencompl/riscv-paper-experiments’s past year of commit activity
    MLIR 6 2 15 4 Updated Mar 20, 2026
  • lean-mlir Public

    A minimal development of SSA theory

    opencompl/lean-mlir’s past year of commit activity
    Lean 217 24 40 25 Updated Mar 20, 2026
  • paper-template Public

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

    opencompl/paper-template’s past year of commit activity
    TeX 44 17 1 2 Updated Mar 18, 2026
  • valaig Public

    Verified Model Checking Certificates in Lean

    opencompl/valaig’s past year of commit activity
    Lean 1 0 0 0 Updated Mar 18, 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 986 0 0 Updated Mar 17, 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 3 Updated Mar 16, 2026
  • iree Public Forked from iree-org/iree

    A retargetable MLIR-based machine learning compiler and runtime toolkit.

    opencompl/iree’s past year of commit activity
    C++ 0 Apache-2.0 888 0 0 Updated Mar 11, 2026
View all repositories

Top languages

Loading…

Most used topics

lean4 floating-point