Alternatives and similar repositories for Kodiak

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

• nasa / CertWare
  ☆51Updated 9 years ago
• nasa / IDF
  ☆85Updated 4 months 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 8 years ago
• bluescarni / piranha
  The Piranha computer algebra system.
  ☆102Updated 3 years ago
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆57Updated 7 years ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 8 years ago
• nasa / WellClear
  Well-Clear Boundary Models for Integration of UAS in the NAS
  ☆52Updated 4 years ago
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆282Updated last month
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 3 months ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• nasa / StereoPipeline
  The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …
  ☆80Updated 10 years ago
• esa / opengeode
  OpenGEODE - a free SDL State Machine editor for space applications...and more
  ☆77Updated 2 months ago
• nasa / europa
  ☆222Updated 2 years ago
• llvm-flang / flang
  Fortran Front-End
  ☆45Updated 7 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• pynac / pynac
  Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
  ☆27Updated 3 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• Par4All / par4all
  Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
  ☆53Updated 10 years ago
• ampl / mp
  An open-source library for mathematical programming
  ☆237Updated 2 weeks ago
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• math-atlas / math-atlas
  Automatically Tuned Linear Algebra Software (ATLAS)
  ☆183Updated 5 years ago
• ths-rwth / smtrat
  ☆55Updated last month
• ScilabOrg / scilab
  Read only copy of https://gitlab.com/scilab/scilab
  ☆62Updated 5 years ago
• ampl / coin
  COIN-OR projects with CMake build support
  ☆73Updated 2 years ago
• nasa / WinSURE
  ☆17Updated 9 years ago
• opencollab / scilab
  Numerical computing software. This is just a mirror! https://wiki.scilab.org/How%20to%20contribute%20to%20Scilab to contribute
  ☆122Updated 3 years ago
• flame / libflame
  High-performance object-based library for DLA computations
  ☆243Updated last year
• nasa / channel-emulator
  ☆73Updated last year
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆69Updated 9 years ago