nasa / KodiakLinks
Library for rigorous verification of non-linear arithmetic
☆113Updated last year
Alternatives and similar repositories for Kodiak
Users that are interested in Kodiak are comparing it to the libraries listed below
Sorting:
- Program Round-off Error Certifier via Static Analysis☆51Updated 9 months ago
- ☆51Updated 9 years ago
- libSPRITE is a set of libraries that have been used on several past projects including flight, technology demonstration, and simulation p…☆61Updated 8 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 3 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- NASA PVS Library of Formal Developments☆281Updated 2 weeks ago
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆80Updated 10 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 10 years ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆51Updated 4 years ago
- Successor to PolyBoRi☆20Updated last month
- EADIN_Lite Network Protocol☆57Updated 7 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 8 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- The Piranha computer algebra system.☆102Updated 2 years ago
- Scientific library for high-precision computations and research☆49Updated 7 years ago
- A high-performance DSL for deep neural networks in Julia☆53Updated 2 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆76Updated 3 weeks ago
- Python bindings for libNVVM☆37Updated 11 years ago
- ☆17Updated 9 years ago
- Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…☆75Updated 6 months ago
- Numerical Algorithms in C☆84Updated 12 years ago
- Elliptic functions for Matlab and Octave☆14Updated last year
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Read only copy of https://gitlab.com/scilab/scilab☆62Updated 5 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- A parametric aircraft geometry tool☆74Updated 8 years ago