Verified Intermediate Representation
☆36Mar 18, 2026Updated this week
Alternatives and similar repositories for veir
Users that are interested in veir are comparing it to the libraries listed below
Sorting:
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 2 years ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆23Feb 27, 2026Updated 3 weeks ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated 3 weeks ago
- A minimal development of SSA theory☆213Updated this week
- A implementation of Privacy Buckets: A numerical tool to calculate privacy loss☆11May 19, 2022Updated 3 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆22Mar 21, 2021Updated 4 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Haskell Evaluation inside of LaTeX code.☆22Sep 28, 2023Updated 2 years ago
- ☆68Updated this week
- A servant client written for GHCJS☆12Dec 6, 2016Updated 9 years ago
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- Automated API for UCI WebReg☆12Dec 23, 2019Updated 6 years ago
- UB-aware interpreter for LLVM debugging☆47Feb 13, 2026Updated last month
- ☆17Jul 23, 2022Updated 3 years ago
- Loop invariant generation with LLMs☆31Mar 6, 2025Updated last year
- An itree-like data-structure to additionally support internal non-determinism☆20Nov 25, 2025Updated 3 months ago
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 3 years ago
- A compiler for the esoteric language ℂ.☆28Sep 18, 2021Updated 4 years ago
- From Zero to QED: An informal introduction to formality with Lean 4☆101Mar 2, 2026Updated 2 weeks ago
- A Coq library providing tactics to deal with hypothesis☆23Dec 5, 2025Updated 3 months ago
- MAGE: Memory-Aware Garbling Engine☆26Jul 29, 2024Updated last year
- ☆20May 30, 2024Updated last year
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.htm…☆19Jun 12, 2023Updated 2 years ago
- CN separation logic refinement type system for C☆46Mar 12, 2026Updated last week
- Deckbuilding and card simulator for the Gloomhaven board game☆16Feb 20, 2024Updated 2 years ago
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆27Jul 16, 2020Updated 5 years ago
- An OS written in Idris (eventually...)☆20Mar 4, 2015Updated 11 years ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆19Mar 4, 2026Updated 2 weeks ago
- Emacs Plover dictionary☆18Nov 4, 2022Updated 3 years ago
- Private AI Bootcamp was hosted by Microsoft in Redmond, WA on Dec 2nd-4th, 2019. This repository contains materials offered at the event,…☆32Aug 19, 2020Updated 5 years ago
- Script for querying merged PRs, open issues, and closed issues from config repos.☆12May 1, 2024Updated last year