Skip to content
@opencompl

opencompl

Popular repositories Loading

  1. lean-mlir lean-mlir Public

    A minimal development of SSA theory

    MLIR 82 10

  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 29 12

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

    A parser for ANSI C, in Lean4.

    C 20 3

  5. mlir-fuzz mlir-fuzz Public

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

    C++ 17 4

  6. lean-gap lean-gap Public

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

    GAP 15

Repositories

Showing 10 of 48 repositories
  • lean-mlir Public

    A minimal development of SSA theory

    opencompl/lean-mlir’s past year of commit activity
    MLIR 82 10 39 15 Updated Oct 28, 2024
  • 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 420 0 14 Updated Oct 27, 2024
  • Leanwuzla Public Forked from hargoniX/Leanwuzla

    Connecting Bitwuzla to LeanSAT

    opencompl/Leanwuzla’s past year of commit activity
    Lean 0 3 0 0 Updated Oct 25, 2024
  • xdsl-smt Public

    The implementation of an SMTLib dialect for xDSL

    opencompl/xdsl-smt’s past year of commit activity
    Python 6 1 1 0 Updated Oct 21, 2024
  • LNSym Public Forked from leanprover/LNSym

    Armv8 Native Code Symbolic Simulator in Lean

    opencompl/LNSym’s past year of commit activity
    Lean 0 Apache-2.0 18 0 1 Updated Oct 11, 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 29 12 3 4 Updated Oct 9, 2024
  • metaocaml_test Public

    Testing things in metaocaml

    opencompl/metaocaml_test’s past year of commit activity
    OCaml 0 0 0 0 Updated Oct 8, 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://reviews.llvm.org.

    opencompl/llvm-project’s past year of commit activity
    LLVM 1 12,058 0 3 Updated Oct 3, 2024
  • equational_theories Public Forked from teorth/equational_theories

    A project to map out the relations between different equational theories of Magmas.

    opencompl/equational_theories’s past year of commit activity
    TeX 0 Apache-2.0 50 0 0 Updated Sep 27, 2024
  • prover-shootout Public

    Shootout between different proof tools on hard verification problems

    opencompl/prover-shootout’s past year of commit activity
    Lean 3 0 0 0 Updated Sep 19, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…