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
- knot theory and computational algebra software☆35Updated 10 years ago
- Program Round-off Error Certifier via Static Analysis☆49Updated 2 months ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆46Updated 9 years ago
- EADIN_Lite Network Protocol☆55Updated 6 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- The Piranha computer algebra system.☆101Updated 2 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
- ☆217Updated last year
- A parametric aircraft geometry tool☆73Updated 8 years ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 7 years ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆48Updated 4 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 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
- Read only copy of https://gitlab.com/scilab/scilab☆60Updated 5 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆70Updated 3 years ago
- Random Variable Library☆24Updated 7 years ago
- Fortran Front-End☆44Updated 6 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆20Updated 4 months ago
- ☆81Updated 2 months ago
- ☆38Updated 3 years ago
- ☆14Updated 8 years ago
- The NASA General-Use Nodal Network Solver (GUNNS) software☆46Updated last month
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 3 years ago
- SCRUB is a platform for orchestration and aggregation of static code analysis tools.☆40Updated last month
- Givaro - C++ library for arithmetic and algebraic computations☆50Updated 6 months ago
- ☆71Updated 11 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆72Updated 7 years ago
- Markov Decision Process (MDP) Toolbox for Python☆32Updated 9 years ago