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:
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆82Updated 10 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
- ☆53Updated 9 years ago
- The Piranha computer algebra system.☆104Updated 3 years ago
- EADIN_Lite Network Protocol☆59Updated 7 years ago
- ☆85Updated this week
- ☆221Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 5 months ago
- ☆18Updated 9 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- An open-source library for mathematical programming☆243Updated this week
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- knot theory and computational algebra software☆37Updated 11 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
- Well-Clear Boundary Models for Integration of UAS in the NAS☆51Updated 4 years ago
- ☆74Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 5 years ago
- Automatically Tuned Linear Algebra Software (ATLAS)☆184Updated 5 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆94Updated 3 weeks ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 11 months ago
- Universal Number Library☆42Updated 7 years ago
- Fortran Front-End☆45Updated 7 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 12 years ago
- A parametric aircraft geometry tool☆75Updated 8 years ago
- Random Variable Library☆25Updated 7 years ago
- ☆39Updated 4 years ago
- The NASA General-Use Nodal Network Solver (GUNNS) software☆53Updated 2 months ago
- sources for the Singular computer algebra system☆289Updated last week