Skip to content
@opencompl

opencompl

README.md

Pinned Loading

  1. lean-mlir lean-mlir Public

    A minimal development of SSA theory

    Lean 108 12

  2. paper-template paper-template Public template

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

    TeX 34 12

Repositories

Showing 10 of 57 repositories
  • 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 463 0 12 Updated Jan 31, 2025
  • lean-mlir Public

    A minimal development of SSA theory

    opencompl/lean-mlir’s past year of commit activity
    Lean 108 12 41 12 Updated Jan 31, 2025
  • fp.lean Public

    Floating Point Semantics Mechanization for Lean

    opencompl/fp.lean’s past year of commit activity
    0 0 0 0 Updated Jan 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.

    opencompl/llvm-project’s past year of commit activity
    LLVM 1 12,785 0 5 Updated Jan 30, 2025
  • xdsl-smt Public

    The implementation of an SMTLib dialect for xDSL

    opencompl/xdsl-smt’s past year of commit activity
    Python 10 3 2 4 Updated Jan 23, 2025
  • 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 34 12 3 4 Updated Jan 21, 2025
  • bv-theorem-table-maker Public Forked from digama0/lean4checker

    Build the Bitvector table in the Lean bitvectors paper by looking up Lean's Environment

    opencompl/bv-theorem-table-maker’s past year of commit activity
    Lean 0 Apache-2.0 6 0 0 Updated Jan 9, 2025
  • .github Public
    opencompl/.github’s past year of commit activity
    0 0 0 0 Updated Nov 29, 2024
  • lazystack-isl Public
    opencompl/lazystack-isl’s past year of commit activity
    C 0 MIT 0 0 0 Updated Nov 21, 2024
  • triton Public Forked from triton-lang/triton

    Development repository for the Triton language and compiler

    opencompl/triton’s past year of commit activity
    C++ 0 MIT 1,775 0 0 Updated Nov 20, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…