Skip to content

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 Public

    A minimal development of SSA theory

    Lean 127 15

  2. paper-template Public template

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

    TeX 35 12

Repositories

Showing 10 of 63 repositories
  • lean-mlir Public

    A minimal development of SSA theory

    Lean 127 15 48 17 Updated Apr 30, 2025
  • Lean 4 2 0 2 Updated Apr 30, 2025
  • sail-arm-lean Public
    Lean 2 0 1 0 Updated Apr 30, 2025
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean 1 Apache-2.0 577 0 10 Updated Apr 30, 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.

    LLVM 1 13,590 0 4 Updated Apr 30, 2025
  • fp.lean Public

    Floating Point Semantics Mechanization for Lean

    Lean 0 0 0 1 Updated Apr 29, 2025
  • sail-arm Public Forked from rems-project/sail-arm

    Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model

    Isabelle 0 21 0 0 Updated Apr 29, 2025
  • attention-variants Public

    Expressing attention as perfectly nested loops allows us to cultivate a wide variety of attention variants

    TeX 0 0 0 0 Updated Apr 25, 2025
  • xdsl-smt Public

    The implementation of an SMTLib dialect for xDSL

    Python 11 3 2 2 Updated Apr 18, 2025
  • Quidditch Public

    IREE compiler and runtime for Snitch

    C++ 11 Apache-2.0 4 8 4 Updated Apr 11, 2025

Top languages

Loading…

Most used topics

Loading…