nasa / KodiakLinks
Library for rigorous verification of non-linear arithmetic
☆114Updated last year
Alternatives and similar repositories for Kodiak
Users that are interested in Kodiak are comparing it to the libraries listed below
Sorting:
- ☆85Updated 3 weeks ago
- ☆51Updated 9 years ago
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆80Updated 10 years ago
- The Piranha computer algebra system.☆104Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- NASA PVS Library of Formal Developments☆282Updated 2 months 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
- IBEX is a C++ library for constraint processing over real numbers.☆76Updated last week
- ☆17Updated 9 years ago
- Random Variable Library☆24Updated 7 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 10 months ago
- ☆222Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 4 months ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆91Updated this week
- Well-Clear Boundary Models for Integration of UAS in the NAS☆52Updated 4 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆77Updated 3 months ago
- sources for the Singular computer algebra system☆282Updated last week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Infrastructure for simultaneous orbital and attitude propagation, with attitude-based real-time analytical aerodynamics simulation☆23Updated 4 years ago
- High-performance object-based library for DLA computations☆245Updated last year
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 3 years ago
- An open-source library for mathematical programming☆239Updated this week
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- EADIN_Lite Network Protocol☆59Updated 7 years ago
- Fortran Front-End☆45Updated 7 years ago
- Automatically Tuned Linear Algebra Software (ATLAS)☆184Updated 5 years ago
- A parametric aircraft geometry tool☆74Updated 8 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated last year