nasa / KodiakLinks
Library for rigorous verification of non-linear arithmetic
☆112Updated last year
Alternatives and similar repositories for Kodiak
Users that are interested in Kodiak are comparing it to the libraries listed below
Sorting:
- ☆51Updated 8 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 8 months ago
- ☆84Updated 2 months 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
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆80Updated 10 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- The NASA General-Use Nodal Network Solver (GUNNS) software☆52Updated last month
- Well-Clear Boundary Models for Integration of UAS in the NAS☆51Updated 4 years ago
- ☆53Updated last week
- A parametric aircraft geometry tool☆74Updated 8 years ago
- ☆38Updated 4 years ago
- Infrastructure for simultaneous orbital and attitude propagation, with attitude-based real-time analytical aerodynamics simulation☆23Updated 4 years ago
- EADIN_Lite Network Protocol☆57Updated 7 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆68Updated 3 years ago
- The Piranha computer algebra system.☆102Updated 2 years ago
- ICAROUS is a software architecture for the development of UAS applications☆167Updated 2 years ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆17Updated last year
- ☆221Updated 2 years ago
- an API facilitating the access of MISR standard product files☆22Updated 4 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 10 years ago
- ☆47Updated 3 months ago
- Architectural Framework For Integrated Refinement Modeling☆11Updated 8 years ago
- ☆33Updated 6 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆52Updated 10 years ago
- Universal Number Library☆41Updated 7 years ago
- GNATcoverage: Coverage Analysis Tool☆42Updated this week
- Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…☆75Updated 5 months ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- ☆73Updated last year
- The Open Scheduling and Planning Interface for Exploration (OpenSPIFe) is an integrated planning and scheduling toolkit based on hundreds…☆109Updated 3 months ago