Repositories list

• veir

  Public

  opencompl/veir’s past year of commit activity
  Verified Intermediate Representation

  Lean

  •

  Other

  •88 forks•4141 stars•1515 issues•1616 pull requests•Updated Apr 23, 2026Apr 23, 2026

• sail-riscv-lean

  Public

  opencompl/sail-riscv-lean’s past year of commit activity
  Lean

  •1010 forks•2929 stars•00 issues•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• sail-riscv32-lean

  Public
  Lean

  •1010 forks•00 stars•00 issues•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• iree

  Public

  opencompl/iree’s past year of commit activity
  A retargetable MLIR-based machine learning compiler and runtime toolkit.

  C++

  •

  Apache License 2.0

  •891891 forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• datapath-verification

  Public

  opencompl/datapath-verification’s past year of commit activity
  Lean

  •00 forks•11 star•00 issues•33 pull requests•Updated Apr 22, 2026Apr 22, 2026

• fp-lean

  Public

  opencompl/fp-lean’s past year of commit activity
  Floating Point Semantics Mechanization for Lean

  leanfloating-pointlean4

  leanfloating-pointlean4

  Lean

  •

  Apache License 2.0

  •11 fork•2222 stars•55 issues•11 pull request•Updated Apr 22, 2026Apr 22, 2026

• riscv-paper-experiments

  Public
  MLIR

  •22 forks•66 stars•1515 issues•44 pull requests•Updated Apr 20, 2026Apr 20, 2026

• paper-template

  Public

  opencompl/paper-template’s past year of commit activity
  A template for writing CS papers with latex -- includes CI, todonotes, ...

  computer-sciencetemplatelatex+ 2

  computer-sciencetemplatelatexpaperwriting

  TeX

  •1919 forks•4545 stars•11 issue•22 pull requests•Updated Apr 19, 2026Apr 19, 2026

• xdsl-autotuning-paper-experiments

  Public
  Python

  •00 forks•22 stars•55 issues•22 pull requests•Updated Apr 18, 2026Apr 18, 2026

• lean-mlir

  Public
  A minimal development of SSA theory

  Lean

  •

  Other

  •2525 forks•227227 stars•4040 issues•2828 pull requests•Updated Apr 17, 2026Apr 17, 2026

• lean4

  Public
  Lean 4 programming language and theorem prover

  Lean

  •

  Apache License 2.0

  •824824 forks•00 stars•00 issues•1010 pull requests•Updated Apr 17, 2026Apr 17, 2026

• xdsl-smt

  Public
  The implementation of an SMTLib dialect for xDSL

  Python

  •77 forks•1818 stars•22 issues•22 pull requests•Updated Apr 16, 2026Apr 16, 2026

• evaluation-fp-lean

  Public
  Fp-lean evaluation repo

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• veir-tests

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 11, 2026Apr 11, 2026

• valaig

  Public
  Verified Model Checking Certificates in Lean

  Lean

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 9, 2026Apr 9, 2026

• llvm-lto

  Public
  LLVM

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 2, 2026Apr 2, 2026

• llvm-project

  Public
  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 …

  LLVM

  •

  Other

  •17k17k forks•11 star•00 issues•33 pull requests•Updated Mar 23, 2026Mar 23, 2026

• opentitan

  Public
  OpenTitan: Open source silicon root of trust

  SystemVerilog

  •

  Apache License 2.0

  •990990 forks•00 stars•00 issues•00 pull requests•Updated Mar 17, 2026Mar 17, 2026

• riscv-lean

  Public
  Lean

  •00 forks•1414 stars•00 issues•22 pull requests•Updated Mar 9, 2026Mar 9, 2026

• mlir-fuzz

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

  C++

  •55 forks•2626 stars•11 issue•22 pull requests•Updated Feb 27, 2026Feb 27, 2026

• circomvent

  Public
  A mechanization of the CIRCOM circuit semantics library

  Lean

  •11 fork•33 stars•00 issues•00 pull requests•Updated Jan 11, 2026Jan 11, 2026

• ara-fall-2025-fp

  Public
  Amazon 2025 ARA grant: floating point

  TeX

  •1919 forks•00 stars•00 issues•00 pull requests•Updated Dec 17, 2025Dec 17, 2025

• sail-arm-lean

  Public
  Lean

  •00 forks•33 stars•00 issues•00 pull requests•Updated Nov 25, 2025Nov 25, 2025

• lean-autoupdate

  Public
  A GitHub action to automatically update the Lean Version

  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 15, 2025Nov 15, 2025

• sail-riscv-lean-small

  Public
  Python

  •00 forks•00 stars•00 issues•11 pull request•Updated Oct 29, 2025Oct 29, 2025

• Quidditch

  Public
  IREE compiler and runtime for Snitch

  C++

  •

  Apache License 2.0

  •55 forks•1414 stars•99 issues•77 pull requests•Updated Oct 9, 2025Oct 9, 2025

• evaluation-width-indep-bv

  Public
  Evalaution for parametric bitvector decision procedures

  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 16, 2025Sep 16, 2025

• csl_particle_flows

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

  TeX

  •1919 forks•00 stars•00 issues•00 pull requests•Updated Aug 25, 2025Aug 25, 2025

• circt

  Public
  Circuit IR Compilers and Tools

  C++

  •

  Other

  •459459 forks•00 stars•00 issues•00 pull requests•Updated Aug 14, 2025Aug 14, 2025

• riscv-semantics-table

  Public
  Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.

  Lean

  •

  Apache License 2.0

  •1010 forks•00 stars•00 issues•00 pull requests•Updated Aug 11, 2025Aug 11, 2025