☆10Aug 18, 2025Updated last year
Alternatives and similar repositories for apronpy
Users that are interested in apronpy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 7 years ago
- Lyra is a prototype static analyzer for data science applications written in Python.☆31Aug 18, 2025Updated last year
- Incremental Verification of DNNs (https://arxiv.org/abs/2304.01874)☆11Apr 10, 2023Updated 3 years ago
- ☆18May 31, 2024Updated 2 years ago
- Apron Numerical Abstract Domain Library☆148Oct 22, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13Feb 12, 2026Updated 8 months ago
- This folder contains the experiments and code for Hierarchical Program Triggered RL paper☆14Jan 7, 2022Updated 4 years ago
- ☆35Sep 12, 2019Updated 7 years ago
- VeriX: Towards Verified Explainability of Deep Neural Networks☆13Aug 5, 2026Updated 3 months ago
- LLVM DSA fork for SeaHorn☆21Aug 17, 2019Updated 7 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆32Aug 4, 2026Updated 3 months ago
- ☆12Oct 14, 2026Updated 3 weeks ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆26Dec 18, 2022Updated 3 years ago
- Uniform sampling under linear equality and inequality constraints☆10Mar 16, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆14Feb 22, 2026Updated 8 months ago
- Complexity Analysis Tool for Integer Programs☆15Jan 30, 2026Updated 9 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆36Dec 9, 2023Updated 2 years ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- solver for the reachability modulo theories problem☆64Aug 11, 2026Updated 2 months ago
- ☆15Feb 4, 2020Updated 6 years ago
- Static Analyzer for LLVM based on the Crab Abstract Interpretation Library☆291Sep 12, 2026Updated last month
- A Swift SVG parsing library☆10Feb 18, 2026Updated 8 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Inconsistent code detection for Java.☆15Jan 26, 2018Updated 8 years ago
- OptiTrust☆16Updated this week
- ☆21May 11, 2023Updated 3 years ago
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 6 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆20Jul 10, 2026Updated 3 months ago
- Counterexample-Guided Learning of Monotonic Networks☆18May 19, 2022Updated 4 years ago
- ☆16Apr 15, 2019Updated 7 years ago
- A reachability analysis tool for neural network controlled system, based on the alpha-beta-CROWN framework☆12May 14, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆39Jun 18, 2026Updated 4 months ago
- ELINA: ETH LIbrary for Numerical Analysis☆137Apr 7, 2023Updated 3 years ago
- ☆17Dec 24, 2023Updated 2 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- The Ultimate program analysis framework.☆250Updated this week
- ☆44Jun 28, 2025Updated last year
- Static Analyzer and Verifier☆54Oct 12, 2024Updated 2 years ago