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 197 23

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

    Lean 15 6

  3. paper-template paper-template Public

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

    TeX 42 14

Repositories

Showing 10 of 76 repositories
  • sail-riscv-lean Public
    opencompl/sail-riscv-lean’s past year of commit activity
    Lean 15 6 0 1 Updated Nov 19, 2025
  • 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 707 0 10 Updated Nov 19, 2025
  • valaig Public

    Verified Model Checking Certificates in Lean

    opencompl/valaig’s past year of commit activity
    Lean 0 0 0 0 Updated Nov 19, 2025
  • lean-mlir Public

    A minimal development of SSA theory

    opencompl/lean-mlir’s past year of commit activity
    Lean 197 23 37 28 Updated Nov 19, 2025
  • sail-arm-lean Public
    opencompl/sail-arm-lean’s past year of commit activity
    Lean 3 0 0 0 Updated Nov 19, 2025
  • 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 819 0 0 Updated Nov 17, 2025
  • lean-autoupdate Public

    A GitHub action to automatically update the Lean Version

    opencompl/lean-autoupdate’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Nov 15, 2025
  • riscv-lean Public
    opencompl/riscv-lean’s past year of commit activity
    Lean 9 0 0 2 Updated Nov 15, 2025
  • 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 15,497 0 3 Updated Nov 14, 2025
  • xdsl-smt Public

    The implementation of an SMTLib dialect for xDSL

    opencompl/xdsl-smt’s past year of commit activity
    Python 16 6 2 2 Updated Nov 11, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…