Oink, an implementation of modern parity game solvers
☆36Sep 22, 2025Updated 5 months ago
Alternatives and similar repositories for oink
Users that are interested in oink are comparing it to the libraries listed below
Sorting:
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆37Jan 10, 2026Updated last month
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- Formal Semantics for Why3☆20Sep 28, 2025Updated 5 months ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Dec 16, 2020Updated 5 years ago
- Implementation of multi-core (binary) decision diagrams☆83Mar 2, 2026Updated last week
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 19, 2024Updated last year
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Aug 14, 2024Updated last year
- Formalising the WASM spec in Lean☆28Nov 14, 2025Updated 3 months ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆26Updated this week
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆25Sep 16, 2022Updated 3 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 6 years ago
- A formalization of ML kernel languages☆43Updated this week
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆27Jun 7, 2025Updated 9 months ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- The current implementation of `LinearAlgebra.eigen` does not support sensitivities. DifferentiableEigen.jl offers an `eigen` function tha…☆35Sep 15, 2025Updated 5 months ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆40Nov 29, 2025Updated 3 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆49Feb 19, 2026Updated 2 weeks ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆10Jan 16, 2025Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 2 years ago
- Pier3 is a CMS - http://www.piercms.com/☆11Feb 13, 2026Updated 3 weeks ago
- A svelte based alternative to powerpoint☆13Jul 23, 2022Updated 3 years ago
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated last year
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- An auto-configuring reverse DNS name server☆11Nov 2, 2025Updated 4 months ago
- ☆11Apr 10, 2024Updated last year
- ☆12Mar 4, 2025Updated last year
- Regex Engine using SIMD and Roaring-Bitmaps☆11Dec 26, 2022Updated 3 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Distributed, versioned, schema-less object storage for Python☆27Dec 2, 2021Updated 4 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago