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 131 16

  2. paper-template paper-template Public template

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

    TeX 35 12

Repositories

Showing 10 of 64 repositories
  • lean-mlir Public

    A minimal development of SSA theory

    opencompl/lean-mlir’s past year of commit activity
    Lean 131 16 49 15 Updated May 13, 2025
  • sail-riscv-lean Public
    opencompl/sail-riscv-lean’s past year of commit activity
    Lean 5 2 0 2 Updated May 13, 2025
  • sail-riscv-lean-matchbv Public
    opencompl/sail-riscv-lean-matchbv’s past year of commit activity
    Lean 0 0 0 0 Updated May 13, 2025
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    opencompl/lean4’s past year of commit activity
    Lean 1 Apache-2.0 584 0 10 Updated May 12, 2025
  • fp.lean Public

    Floating Point Semantics Mechanization for Lean

    opencompl/fp.lean’s past year of commit activity
    Lean 2 0 0 1 Updated May 12, 2025
  • xdsl-smt Public

    The implementation of an SMTLib dialect for xDSL

    opencompl/xdsl-smt’s past year of commit activity
    Python 11 3 2 1 Updated May 12, 2025
  • sail-riscv Public Forked from riscv/sail-riscv

    Sail RISC-V model

    opencompl/sail-riscv’s past year of commit activity
    C 0 206 0 1 Updated May 12, 2025
  • sail Public Forked from rems-project/sail

    Sail architecture definition language

    opencompl/sail’s past year of commit activity
    Isabelle 0 129 0 2 Updated May 9, 2025
  • riscv-paper-experiments Public
    opencompl/riscv-paper-experiments’s past year of commit activity
    MLIR 4 1 15 5 Updated May 8, 2025
  • sail-arm-lean Public
    opencompl/sail-arm-lean’s past year of commit activity
    Lean 3 0 1 0 Updated May 7, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…