ariadne-cps / ariadneView external linksLinks
C++ framework for rigorous computation on cyber-physical systems
☆28Jan 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for ariadne
Users that are interested in ariadne are comparing it to the libraries listed below
Sorting:
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Aug 14, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- A Lean 4 package for heavy numerical computations☆19Jan 16, 2022Updated 4 years ago
- egraph <-> json☆16Dec 29, 2025Updated last month
- Branch and prune interface for Julia☆16Feb 13, 2023Updated 3 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- A formally verified implementation of differential dynamic logic in Coq☆18May 16, 2022Updated 3 years ago
- Lean4 port of Arduino balance car controller☆50Mar 17, 2021Updated 4 years ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Aug 12, 2025Updated 6 months ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated 3 weeks ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- Formalizing convex polyhedra in Coq☆24Jul 8, 2024Updated last year
- Enclosures of real-valued functions in Julia☆23Jan 31, 2026Updated 2 weeks ago
- Set Programming with JuMP☆23Dec 31, 2025Updated last month
- Advent of Code 2020 solutions in Lean 4☆27Jan 5, 2021Updated 5 years ago
- A fast module for computing proximity queries between convex bodies in 2D/3D☆23Dec 27, 2021Updated 4 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50May 22, 2021Updated 4 years ago
- Rat cardiovascular system simulation☆14Dec 18, 2024Updated last year
- Rigorous function approximation using Taylor models in Julia☆63Feb 8, 2026Updated last week
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Apr 11, 2023Updated 2 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 9 months ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 2 months ago
- Materials for Quantum Computing with Julia workshop at JuliaCon 2021☆24Jul 20, 2021Updated 4 years ago
- This project reads data from a csv(MS Excel) file containing numeric data and then stores it into a 2D array in C++;☆10Mar 13, 2017Updated 8 years ago
- Tutorial: Writing R and Python Packages with Multithreaded C++ Code using BLAS, AVX2/AVX512, OpenMP, C++11 Threads and Cuda GPU accelerat…☆13Nov 27, 2022Updated 3 years ago
- Python interface for the NRLMSISE-00 empirical neutral atmosphere model☆12Sep 30, 2024Updated last year
- CAQE is a solver for quantified Boolean formulas☆37May 13, 2023Updated 2 years ago
- Byeol Programming language.☆10Feb 8, 2026Updated last week
- The opensmt solver☆92Jan 13, 2026Updated last month
- stack based virtual machine interpreter and a C compiler☆12May 9, 2025Updated 9 months ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- An OpenGL surface plot visualizer☆11May 26, 2020Updated 5 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- ☆16Updated this week
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A simple Django middleware for submitting timings and exceptions to Datadog.☆13Jun 26, 2017Updated 8 years ago