Verified Intermediate Representation
☆28Updated this week
Alternatives and similar repositories for veir
Users that are interested in veir are comparing it to the libraries listed below
Sorting:
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆20Dec 5, 2024Updated last year
- A enumerator for MLIR, relying on the information given by IRDL.☆23Feb 11, 2026Updated 2 weeks ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- UB-aware interpreter for LLVM debugging☆44Feb 13, 2026Updated 2 weeks ago
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- Compiler, runtime, and examples for the Qwerty quantum programming language☆21Feb 19, 2026Updated last week
- ☆20Dec 30, 2025Updated 2 months ago
- A minimal development of SSA theory☆211Updated this week
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆44Oct 1, 2025Updated 4 months ago
- The complete Remix Icon pack available as Flutter Icons.☆11Aug 26, 2021Updated 4 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Updated this week
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago
- A static site generator using build_runner☆11Updated this week
- ☆15Feb 25, 2021Updated 5 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- Tsar programming language☆16Dec 22, 2019Updated 6 years ago
- A minimal cross-platform terminal task manager☆18Jan 13, 2026Updated last month
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Oct 14, 2025Updated 4 months ago
- Parametrized RTL benchmark suite☆23Feb 6, 2026Updated 3 weeks ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 5 years ago
- Haskell Evaluation inside of LaTeX code.☆22Sep 28, 2023Updated 2 years ago
- HeteroRefactor: Refactoring for Heterogeneous Computing with FPGA☆10Aug 14, 2025Updated 6 months ago
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 2 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated 3 weeks ago
- Open-source AI acceleration on FPGA: from ONNX to RTL☆49Jan 5, 2026Updated last month
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆21Oct 26, 2016Updated 9 years ago
- AngelScript JIT via C→MIR conversion☆20Sep 16, 2025Updated 5 months ago
- Automated API for UCI WebReg☆12Dec 23, 2019Updated 6 years ago
- KernelCI Linux Foundation project documentation☆13Feb 5, 2026Updated 3 weeks ago
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 5 years ago
- A implementation of Privacy Buckets: A numerical tool to calculate privacy loss☆11May 19, 2022Updated 3 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- Formal verification tools for Chisel and RISC-V☆13Jul 2, 2024Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- Deckbuilding and card simulator for the Gloomhaven board game☆16Feb 20, 2024Updated 2 years ago
- Rocqet proof language☆28Aug 11, 2025Updated 6 months ago