Alternatives and similar repositories for Kodiak

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

• nasa / IDF
  ☆86Updated last month
• 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 / CertWare
  ☆53Updated 9 years ago
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆294Updated last week
• bluescarni / piranha
  The Piranha computer algebra system.
  ☆106Updated 3 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆53Updated last month
• pynac / pynac
  Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
  ☆27Updated 4 years ago
• nasa / europa
  ☆226Updated 2 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
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• ibex-team / ibex-lib
  IBEX is a C++ library for constraint processing over real numbers.
  ☆85Updated 3 months ago
• ampl / mp
  An open-source library for mathematical programming
  ☆244Updated this week
• nasa / WinSURE
  ☆18Updated 10 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆50Updated 10 years ago
• llvm-flang / flang
  Fortran Front-End
  ☆45Updated 7 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆53Updated 4 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• nasa / WellClear
  Well-Clear Boundary Models for Integration of UAS in the NAS
  ☆52Updated 5 years ago
• nasa / RVLib
  Random Variable Library
  ☆25Updated 8 years ago
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆58Updated 7 years ago
• nasa / channel-emulator
  ☆75Updated 2 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆72Updated 3 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆66Updated 5 months ago
• nasa / OpenVSP
  A parametric aircraft geometry tool
  ☆74Updated 9 years ago
• math-atlas / math-atlas
  Automatically Tuned Linear Algebra Software (ATLAS)
  ☆189Updated 6 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated last week
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• flame / libflame
  High-performance object-based library for DLA computations
  ☆252Updated last year
• llnl / unum
  Universal Number Library
  ☆44Updated 7 years ago
• nasa / PolyCARP
  ☆39Updated 5 years ago