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 / IDF
  ☆86Updated last month
• 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
• pynac / pynac
  Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
  ☆27Updated 4 years ago
• bluescarni / piranha
  The Piranha computer algebra system.
  ☆104Updated 3 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆58Updated 7 years ago
• nasa / WinSURE
  ☆18Updated 9 years ago
• nasa / pvslib
  NASA PVS Library of Formal Developments
  ☆293Updated 3 months ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated this week
• esa / SpaceAMPL
  AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)
  ☆20Updated 4 years ago
• nasa / WellClear
  Well-Clear Boundary Models for Integration of UAS in the NAS
  ☆52Updated 5 years ago
• LLNL / unum
  Universal Number Library
  ☆44Updated 7 years ago
• ibex-team / ibex-lib
  IBEX is a C++ library for constraint processing over real numbers.
  ☆84Updated last month
• nasa / gunns
  The NASA General-Use Nodal Network Solver (GUNNS) software
  ☆57Updated 3 weeks ago
• flame / libflame
  High-performance object-based library for DLA computations
  ☆251Updated last year
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• nasa / OpenVSP
  A parametric aircraft geometry tool
  ☆74Updated 9 years ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 6 years ago
• ampl / mp
  An open-source library for mathematical programming
  ☆242Updated last week
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆63Updated this week
• juanjosegarciaripoll / f2c
  f2c and libi77/libi77 all together in an autoconf package
  ☆12Updated last year
• Par4All / par4all
  Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
  ☆53Updated 10 years ago
• esa / opengeode
  OpenGEODE - a free SDL State Machine editor for space applications...and more
  ☆77Updated 7 months ago
• cjang / GATLAS
  GPU Automatically Tuned Linear Algebra Software
  ☆28Updated 10 years ago
• Singular / LELA
  Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations
  ☆18Updated 12 years ago
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆74Updated 8 years ago