nasa / Kodiak
Library for rigorous verification of non-linear arithmetic
☆106Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for Kodiak
- ☆50Updated 8 years ago
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆79Updated 9 years ago
- libSPRITE is a set of libraries that have been used on several past projects including flight, technology demonstration, and simulation p…☆60Updated 8 years ago
- A parametric aircraft geometry tool☆73Updated 8 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- ☆81Updated last month
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆46Updated 9 years ago
- The Piranha computer algebra system.☆101Updated 2 years ago
- knot theory and computational algebra software☆34Updated 10 years ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆48Updated 3 years ago
- ☆11Updated last week
- EADIN_Lite Network Protocol☆55Updated 6 years ago
- Markov Decision Process (MDP) Toolbox for Python☆32Updated 9 years ago
- Universal Number Library☆40Updated 6 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 3 years ago
- GPU Automatically Tuned Linear Algebra Software☆28Updated 9 years ago
- Successor to PolyBoRi☆17Updated last year
- Simulated annealing solvers☆20Updated 7 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆36Updated 12 years ago
- OpenUH - Open Source UH Compiler☆53Updated 7 years ago
- Random Variable Library☆24Updated 7 years ago
- Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…☆71Updated 2 years ago
- A python based open-source (Apache 2.0) engineering analysis framework designed to facilitate the use of MDAO. To add issues, visit our …☆152Updated 2 years ago
- Fortran Front-End☆44Updated 6 years ago
- A Java package, nominally built in NetBeans, that allows use of DAVE-ML simulation models within tools such as Mathwork's Simulink(R) and…☆31Updated 9 years ago
- An open-source library for mathematical programming☆227Updated this week
- The Core Flight System (cFS) Data Storage (DS) application.☆44Updated last month
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆20Updated 3 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year