Skip to content

@opencompl opencompl

Change the repository type filter

All

    Repositories list

    85 repositories

    • veir

      Public
      Verified Intermediate Representation
      Lean
      •
      Other
      •8•41•15•17•Updated Apr 24, 2026Apr 24, 2026

    • datapath-verification

      Public
      Lean
      •0•1•0•2•Updated Apr 24, 2026Apr 24, 2026

    • fp-lean

      Public
      Floating Point Semantics Mechanization for Lean
      leanfloating-pointlean4
      leanfloating-pointlean4
      Lean
      •
      Apache License 2.0
      •1•22•5•0•Updated Apr 24, 2026Apr 24, 2026

    • sail-riscv-lean

      Public
      Lean
      •10•30•0•0•Updated Apr 24, 2026Apr 24, 2026

    • sail-riscv32-lean

      Public
      Lean
      •10•0•0•0•Updated Apr 24, 2026Apr 24, 2026

    • datapath-verification-paper

      Public
      A template for writing CS papers with latex -- includes CI, todonotes, ...
      TeX
      •19•1•0•0•Updated Apr 23, 2026Apr 23, 2026

    • iree

      Public
      A retargetable MLIR-based machine learning compiler and runtime toolkit.
      C++
      •
      Apache License 2.0
      •893•0•0•0•Updated Apr 22, 2026Apr 22, 2026

    • riscv-paper-experiments

      Public
      MLIR
      •2•6•15•4•Updated Apr 20, 2026Apr 20, 2026

    • paper-template

      Public
      A template for writing CS papers with latex -- includes CI, todonotes, ...
      computer-sciencetemplatelatex
      computer-sciencetemplatelatexpaperwriting
      TeX
      •19•45•1•2•Updated Apr 19, 2026Apr 19, 2026

    • xdsl-autotuning-paper-experiments

      Public
      Python
      •0•2•5•2•Updated Apr 18, 2026Apr 18, 2026

    • lean-mlir

      Public
      A minimal development of SSA theory
      Lean
      •
      Other
      •25•228•40•28•Updated Apr 17, 2026Apr 17, 2026

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •826•0•0•10•Updated Apr 17, 2026Apr 17, 2026

    • xdsl-smt

      Public
      The implementation of an SMTLib dialect for xDSL
      Python
      •7•18•2•3•Updated Apr 16, 2026Apr 16, 2026

    • evaluation-fp-lean

      Public
      Fp-lean evaluation repo
      Python
      •0•0•0•0•Updated Apr 16, 2026Apr 16, 2026

    • veir-tests

      Public
      Python
      •0•0•0•0•Updated Apr 11, 2026Apr 11, 2026

    • valaig

      Public
      Verified Model Checking Certificates in Lean
      Lean
      •0•1•0•0•Updated Apr 9, 2026Apr 9, 2026

    • llvm-lto

      Public
      LLVM
      •0•0•0•0•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
      •17k•1•0•3•Updated Mar 23, 2026Mar 23, 2026

    • opentitan

      Public
      OpenTitan: Open source silicon root of trust
      SystemVerilog
      •
      Apache License 2.0
      •993•0•0•0•Updated Mar 17, 2026Mar 17, 2026

    • riscv-lean

      Public
      Lean
      •0•14•0•2•Updated Mar 9, 2026Mar 9, 2026

    • mlir-fuzz

      Public
      A enumerator for MLIR, relying on the information given by IRDL.
      C++
      •5•26•1•2•Updated Feb 27, 2026Feb 27, 2026

    • circomvent

      Public
      A mechanization of the CIRCOM circuit semantics library
      Lean
      •1•3•0•0•Updated Jan 11, 2026Jan 11, 2026

    • ara-fall-2025-fp

      Public
      Amazon 2025 ARA grant: floating point
      TeX
      •19•0•0•0•Updated Dec 17, 2025Dec 17, 2025

    • sail-arm-lean

      Public
      Lean
      •0•3•0•0•Updated Nov 25, 2025Nov 25, 2025

    • lean-autoupdate

      Public
      A GitHub action to automatically update the Lean Version
      Python
      •
      MIT License
      •0•0•0•0•Updated Nov 15, 2025Nov 15, 2025

    • sail-riscv-lean-small

      Public
      Python
      •0•0•0•1•Updated Oct 29, 2025Oct 29, 2025

    • Quidditch

      Public
      IREE compiler and runtime for Snitch
      C++
      •
      Apache License 2.0
      •5•14•9•7•Updated Oct 9, 2025Oct 9, 2025

    • evaluation-width-indep-bv

      Public
      Evalaution for parametric bitvector decision procedures
      0•0•0•0•Updated Sep 16, 2025Sep 16, 2025

    • csl_particle_flows

      Public
      A template for writing CS papers with latex -- includes CI, todonotes, ...
      TeX
      •19•0•0•0•Updated Aug 25, 2025Aug 25, 2025

    • circt

      Public
      Circuit IR Compilers and Tools
      C++
      •
      Other
      •459•0•0•0•Updated Aug 14, 2025Aug 14, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.