Program Round-off Error Certifier via Static Analysis
☆56Dec 8, 2025Updated 2 months ago
Alternatives and similar repositories for PRECiSA
Users that are interested in PRECiSA are comparing it to the libraries listed below
Sorting:
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm☆16Nov 30, 2020Updated 5 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- ☆27Feb 9, 2023Updated 3 years ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- ☆20May 30, 2024Updated last year
- Rigorous Floating-Point Mixed-Precision Tuner☆17May 21, 2020Updated 5 years ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆53Nov 19, 2020Updated 5 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 17, 2026Updated 2 weeks ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23May 9, 2018Updated 7 years ago
- The People's Verification System☆171Feb 25, 2026Updated last week
- ☆11Apr 19, 2018Updated 7 years ago
- Generate Go structs from JSON!☆42May 1, 2013Updated 12 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆11Jul 1, 2020Updated 5 years ago
- MORTon Indexer (Z-order) Fortran environment☆12Feb 20, 2026Updated last week
- prbot: Pull Request robot☆13Mar 16, 2016Updated 9 years ago
- Yet Another RPC for Go☆10Jun 21, 2018Updated 7 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- ☆14Nov 13, 2018Updated 7 years ago
- Golang user signal based package for collecting pprof information☆12Apr 1, 2016Updated 9 years ago
- Small program to run requests against a web server and look for problems☆11Jan 20, 2016Updated 10 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Service discovery for Finagle cluster with Consul.☆10Sep 27, 2018Updated 7 years ago
- A simple library for querying the AST of a Go program☆11Feb 10, 2015Updated 11 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Radix sorting in Go☆10Feb 4, 2019Updated 7 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Re-usable Go components and micro-frameworks☆33Nov 9, 2017Updated 8 years ago
- ☆30Mar 2, 2021Updated 5 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- ☆53Jun 26, 2016Updated 9 years ago
- Tools for generating CFS ECI-compatible code from Simulink models☆30Sep 12, 2023Updated 2 years ago
- Haskell FFI bindings to CUDA☆80Sep 15, 2025Updated 5 months ago
- Tool to create Tock Application Bundles from ELF files.☆18Aug 12, 2025Updated 6 months ago