Skip to content
@opencompl

opencompl

Popular repositories Loading

  1. lean-mlir lean-mlir Public

    A minimal development of SSA theory

    MLIR 54 6

  2. lean-mlir-old lean-mlir-old Public archive

    embedding MLIR in LEAN

    Lean 47 4

  3. paper-template paper-template Public template

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

    TeX 28 12

  4. C-parsing-for-Lean4 C-parsing-for-Lean4 Public

    A parser for ANSI C, in Lean4.

    C 16 2

  5. lean-gap lean-gap Public

    An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4

    GAP 15

  6. mlir-fuzz mlir-fuzz Public

    A enumerator for MLIR, relying on the information given by IRDL.

    C++ 15 4

Repositories

Showing 10 of 38 repositories
  • lean-mlir Public

    A minimal development of SSA theory

    opencompl/lean-mlir’s past year of commit activity
    MLIR 54 6 35 7 Updated Aug 1, 2024
  • 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 376 0 6 Updated Aug 1, 2024
  • paper-lean-bitvectors Public
    opencompl/paper-lean-bitvectors’s past year of commit activity
    TeX 0 0 0 0 Updated Jul 29, 2024
  • Quidditch Public

    IREE compiler and runtime for Snitch

    opencompl/Quidditch’s past year of commit activity
    C++ 3 Apache-2.0 1 0 0 Updated Jul 29, 2024
  • mlir-fuzz Public

    A enumerator for MLIR, relying on the information given by IRDL.

    opencompl/mlir-fuzz’s past year of commit activity
    C++ 15 4 1 0 Updated Jul 15, 2024
  • paper-template Public template

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

    opencompl/paper-template’s past year of commit activity
    TeX 28 12 3 1 Updated Jul 15, 2024
  • benchmark-vm Public
    opencompl/benchmark-vm’s past year of commit activity
    Python 0 0 0 0 Updated Jul 7, 2024
  • 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:https://reviews.llvm.org.

    opencompl/llvm-project’s past year of commit activity
    LLVM 1 11,342 0 3 Updated Jul 1, 2024
  • lean-mlir-old Public archive

    embedding MLIR in LEAN

    opencompl/lean-mlir-old’s past year of commit activity
    Lean 47 Apache-2.0 4 6 3 Updated Jun 17, 2024
  • falcon-bullseye Public Forked from IITH-Compilers/bullseye

    BullsEye: A Scalable cache miss calculator for affine programs

    opencompl/falcon-bullseye’s past year of commit activity
    C++ 0 2 0 0 Updated Jun 16, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…