Alternatives and similar repositories for Kodiak:

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

• 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
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 6 months ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• nasa / CertWare
  ☆50Updated 8 years ago
• ampl / mp
  An open-source library for mathematical programming
  ☆234Updated this week
• nasa / WellClear
  Well-Clear Boundary Models for Integration of UAS in the NAS
  ☆51Updated 4 years ago
• nasa / IDF
  ☆84Updated last month
• bluescarni / piranha
  The Piranha computer algebra system.
  ☆102Updated 2 years ago
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆56Updated 7 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated this week
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆87Updated 5 years ago
• nasa / WinSURE
  ☆17Updated 9 years ago
• ibex-team / ibex-lib
  IBEX is a C++ library for constraint processing over real numbers.
  ☆72Updated 2 weeks ago
• nasa / StereoPipeline
  The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …
  ☆80Updated 9 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• boostorg / interval
  Boost.org numeric interval library
  ☆25Updated last week
• nasa / PolyCARP
  ☆38Updated 4 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• darioizzo / audi
  Header only, C++ library (and the Python pyaudi package) implementing the algebra of Taylor truncated polynomials and a few algorithms us…
  ☆75Updated 4 months ago
• pynac / pynac
  Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
  ☆27Updated 3 years ago
• komrad36 / KPS
  Infrastructure for simultaneous orbital and attitude propagation, with attitude-based real-time analytical aerodynamics simulation
  ☆23Updated 4 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆68Updated 9 years ago
• numericalalgorithmsgroup / nagcpp
  C++ Interfaces for the nAG Library
  ☆18Updated 2 weeks ago
• LLNL / unum
  Universal Number Library
  ☆41Updated 7 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• nasa / gunns
  The NASA General-Use Nodal Network Solver (GUNNS) software
  ☆51Updated last week
• Par4All / par4all
  Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
  ☆52Updated 9 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 4 months ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago