Alternatives and similar repositories for Kodiak

Users that are interested in Kodiak are comparing it to the libraries listed below

• nasa / CertWare
  ☆52Updated 9 years ago
• nasa / libSPRITE
  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
• nasa / StereoPipeline
  The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …
  ☆81Updated 10 years ago
• nasa / IDF
  ☆84Updated last month
• nasa / WellClear
  Well-Clear Boundary Models for Integration of UAS in the NAS
  ☆51Updated 4 years ago
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆290Updated last month
• bluescarni / piranha
  The Piranha computer algebra system.
  ☆104Updated 3 years ago
• pynac / pynac
  Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
  ☆27Updated 4 years ago
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆58Updated 7 years ago
• nasa / europa
  ☆222Updated 2 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated 2 weeks ago
• nasa / OpenVSP
  A parametric aircraft geometry tool
  ☆74Updated 8 years ago
• nasa / WinSURE
  ☆18Updated 9 years ago
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆21Updated last year
• nasa / RVLib
  Random Variable Library
  ☆25Updated 7 years ago
• ampl / mp
  An open-source library for mathematical programming
  ☆243Updated this week
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆52Updated last month
• nasa / channel-emulator
  ☆73Updated last year
• Singular / LELA
  Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations
  ☆18Updated 12 years ago
• esa / opengeode
  OpenGEODE - a free SDL State Machine editor for space applications...and more
  ☆76Updated 5 months ago
• nasa / PolyCARP
  ☆39Updated 4 years ago
• nasa / gunns
  The NASA General-Use Nodal Network Solver (GUNNS) software
  ☆54Updated last month
• nasa / DAVEtools
  A Java package, nominally built in NetBeans, that allows use of DAVE-ML simulation models within tools such as Mathwork's Simulink(R) and…
  ☆34Updated 10 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• esa / SpaceAMPL
  AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)
  ☆20Updated 4 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 4 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated last month
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• nasa / GSAP
  Generic Software Architecture for Prognostics (GSAP)
  ☆25Updated 2 years ago