Alternatives and similar repositories for WinSURE

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

• nasa / WinASSIST
  ☆10Updated 9 years ago
• nasa / CertWare
  ☆52Updated 9 years ago
• nasa / SCA
  The Core Flight System (cFS) Stored Command Absolute (SCA) application.
  ☆20Updated 6 years ago
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆58Updated 7 years ago
• nasa / SAFE-DART
  ☆11Updated 8 years ago
• nasa / cfs_lib
  ☆16Updated 7 years ago
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆115Updated last year
• nasa / MISR-Toolkit
  an API facilitating the access of MISR standard product files
  ☆23Updated 5 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated 2 months ago
• nasa / digital-strategy
  Machine-readable schema for NASA's response to the president's digital strategy.
  ☆41Updated 4 years ago
• nasa / IDF
  ☆86Updated last month
• NASA-AMMOS / AIT-Core
  ☆48Updated last month
• nasa / FM
  The Core Flight System (cFS) File Manager (FM) application.
  ☆44Updated 3 months ago
• nasa / CFS_CI
  ☆12Updated 3 years ago
• nasa / gunns
  The NASA General-Use Nodal Network Solver (GUNNS) software
  ☆57Updated 3 weeks ago
• nasa / HS
  The Core Flight System (cFS) Health and Safety (HS) application.
  ☆42Updated last year
• nasa / bingocpp
  ☆12Updated last year
• nasa / channel-emulator
  ☆74Updated last year
• nasa / scifen-solver
  ☆11Updated 7 years ago
• nasa / CFS_TO
  ☆11Updated 7 years ago
• nasa / LC
  The Core Flight System (cFS) Limit Checker (LC) application.
  ☆31Updated last year
• esa / SpaceAMPL
  AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)
  ☆20Updated 4 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
• nasa / SBN
  ☆41Updated 2 years ago
• nasa / VADER
  ☆18Updated 5 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 / RVLib
  Random Variable Library
  ☆25Updated 8 years ago
• nasa / code.nasa.gov_legacy
  ☆34Updated 9 years ago
• nasa / elf2cfetbl
  The Core Flight System (cFS) ELF to CFE Table Tool (elf2cfetbl)
  ☆26Updated last year
• nasa / MD
  The Core Flight System (cFS) Memory Dwell (MD) application.
  ☆25Updated last year