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
- ☆86Updated 3 weeks ago
- The Piranha computer algebra system.☆104Updated 3 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
- ☆225Updated 2 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- ☆18Updated 9 years ago
- NASA PVS Library of Formal Developments☆293Updated 2 months ago
- An open-source library for mathematical programming☆244Updated last week
- IBEX is a C++ library for constraint processing over real numbers.☆79Updated 3 weeks ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Program Round-off Error Certifier via Static Analysis☆50Updated last month
- ☆74Updated last year
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆81Updated 10 years ago
- EADIN_Lite Network Protocol☆58Updated 7 years ago
- Automatically Tuned Linear Algebra Software (ATLAS)☆189Updated 5 years ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆52Updated 5 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 2 months ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆72Updated 3 years ago
- Numerical computing software. This is just a mirror! https://wiki.scilab.org/How%20to%20contribute%20to%20Scilab to contribute☆121Updated 3 years ago
- Random Variable Library☆25Updated 8 years ago
- ARL OpenSHMEM for Epiphany☆31Updated 6 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 12 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 7 months ago
- High-performance object-based library for DLA computations☆249Updated last year
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆70Updated 9 years ago
- A parametric aircraft geometry tool☆74Updated 9 years ago