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:
- ☆52Updated 9 years ago
- ☆85Updated this week
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 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 9 years ago
- The Piranha computer algebra system.☆103Updated 3 years ago
- ☆225Updated 2 years ago
- ☆18Updated 9 years ago
- An open-source library for mathematical programming☆243Updated last week
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆81Updated 10 years ago
- ☆73Updated last year
- Automatically Tuned Linear Algebra Software (ATLAS)☆188Updated 5 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Fortran Front-End☆45Updated 7 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 4 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated last month
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Well-Clear Boundary Models for Integration of UAS in the NAS☆51Updated 4 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 2 weeks ago
- High-performance object-based library for DLA computations☆248Updated last year
- EADIN_Lite Network Protocol☆58Updated 7 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated last month
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- A parametric aircraft geometry tool☆74Updated 9 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated last month
- Python bindings for libNVVM☆37Updated 11 years ago
- sources for the Singular computer algebra system☆294Updated this week
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆53Updated 10 years ago
- Random Variable Library☆25Updated 7 years ago