C++ framework for rigorous computation on cyber-physical systems
☆29Jan 22, 2026Updated last month
Alternatives and similar repositories for ariadne
Users that are interested in ariadne are comparing it to the libraries listed below
Sorting:
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Aug 14, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- A formally verified implementation of differential dynamic logic in Coq☆18May 16, 2022Updated 3 years ago
- Branch and prune interface for Julia☆16Feb 13, 2023Updated 3 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50May 22, 2021Updated 4 years ago
- Function calls with 50% less typing ;-)☆12Jul 29, 2021Updated 4 years ago
- Enclosures of real-valued functions in Julia☆23Mar 9, 2026Updated last week
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated 2 years ago
- Uncertainty sets for nonlinear dynamical systems☆10Nov 7, 2020Updated 5 years ago
- Lean4 port of Arduino balance car controller☆51Mar 17, 2021Updated 5 years ago
- Rigorous function approximation using Taylor models in Julia☆63Mar 7, 2026Updated last week
- simple string mutations for julia 💼☆13Oct 2, 2022Updated 3 years ago
- Projected Overrelaxed Jacobi (JORProx) and Gauss-Seidel (SORProx) GPU implementations.☆13Jan 14, 2019Updated 7 years ago
- A Python implementation of global optimization with gaussian processes.☆12Feb 15, 2022Updated 4 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 2 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆25Aug 12, 2025Updated 7 months ago
- ur10 dynamic param identify in vrep simulator.Using sousa 2014 wam7_dyn_ident code.☆12Jun 19, 2020Updated 5 years ago
- Reachability analysis for closed-loop control systems in Julia☆47Mar 9, 2026Updated last week
- Affine arithmetic in Julia☆12Sep 8, 2025Updated 6 months ago
- Dynamics of elastic hard balls in arbitrary number of dimensions in Julia☆16Aug 12, 2023Updated 2 years ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 3 months ago
- Find the fastest way to multiply a chain of matrices and do it.☆15Oct 6, 2020Updated 5 years ago
- Materials for Quantum Computing with Julia workshop at JuliaCon 2021☆24Jul 20, 2021Updated 4 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated 2 months ago
- Formalizing convex polyhedra in Coq☆24Mar 12, 2026Updated last week
- ☆16May 1, 2023Updated 2 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Julia package for working with tensors, i.e. multilinear maps between vector spaces☆15Sep 19, 2017Updated 8 years ago
- Adversarial attacks for Neural Networks written with FluxML☆16Jan 20, 2021Updated 5 years ago
- Julia library for scheduling☆14Oct 7, 2023Updated 2 years ago
- Advent of Code 2020 solutions in Lean 4☆27Jan 5, 2021Updated 5 years ago
- Fast evaluation of multivariate polynomials☆17Jun 26, 2023Updated 2 years ago
- ☆11Apr 17, 2022Updated 3 years ago
- The opensmt solver☆93Jan 13, 2026Updated 2 months ago