nasa / KodiakLinks
Library for rigorous verification of non-linear arithmetic
☆115Updated last year
Alternatives and similar repositories for Kodiak
Users that are interested in Kodiak are comparing it to the libraries listed below
Sorting:
- ☆86Updated 2 weeks ago
- libSPRITE is a set of libraries that have been used on several past projects including flight, technology demonstration, and simulation p…☆61Updated 9 years ago
- ☆52Updated 9 years ago
- NASA PVS Library of Formal Developments☆294Updated 4 months ago
- ☆18Updated 9 years ago
- The Piranha computer algebra system.☆105Updated 3 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆50Updated 10 years ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆52Updated 5 years ago
- EADIN_Lite Network Protocol☆58Updated 7 years ago
- Random Variable Library☆25Updated 8 years ago
- Program Round-off Error Certifier via Static Analysis☆50Updated 3 weeks ago
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆81Updated 10 years ago
- ☆226Updated 2 years ago
- A parametric aircraft geometry tool☆74Updated 9 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆85Updated 2 months ago
- ☆39Updated 5 years ago
- The NASA General-Use Nodal Network Solver (GUNNS) software☆57Updated last week
- knot theory and computational algebra software☆38Updated 11 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 3 months ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- High-performance object-based library for DLA computations☆252Updated last year
- Automatically Tuned Linear Algebra Software (ATLAS)☆189Updated 6 years ago
- C++ library for semigroups and monoids☆63Updated 3 weeks ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 13 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆77Updated 8 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- An open-source library for mathematical programming☆244Updated last week
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 3 months ago