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 / SCA
  The Core Flight System (cFS) Stored Command Absolute (SCA) application.
  ☆18Updated 6 years ago
• nasa / prog_server
  The NASA Prognostics As-A-Service (PaaS) Sandbox is a simplified implementation of a Software Oriented Architecture (SOA) for performing …
  ☆10Updated 3 weeks ago
• esa / SpaceAMPL
  AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)
  ☆19Updated 4 years ago
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆112Updated last year
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆57Updated 7 years ago
• nasa / bingocpp
  ☆12Updated 7 months ago
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆21Updated 10 months ago
• nasa / LC
  The Core Flight System (cFS) Limit Checker (LC) application.
  ☆31Updated 6 months ago
• nasa / cfs_lib
  ☆16Updated 7 years ago
• nasa / CFS_CI
  ☆12Updated 2 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 8 months ago
• nasa / MD
  The Core Flight System (cFS) Memory Dwell (MD) application.
  ☆25Updated 8 months ago
• CNES / ccsdsmo-malc
  CCSDS MO MAL C API
  ☆14Updated last year
• nasa / SBN
  ☆40Updated last year
• nasa / sample_lib
  The Core Flight System (cFS) Sample Library (sample_lib)
  ☆12Updated last year
• nasa / SAFE-DART
  ☆9Updated 7 years ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 8 years ago
• AcubeSAT / ccsds-space-data-link-protocols
  Implementation of the CCSDS TM and TC standards for the AcubeSAT nanosatellite
  ☆18Updated 2 months ago
• esa / CCSDS_MO
  Repository for holding all CCSDS MO documentation, examples, tutorials and issue lists.
  ☆13Updated 9 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• nasa / elf2cfetbl
  The Core Flight System (cFS) ELF to CFE Table Tool (elf2cfetbl)
  ☆26Updated 11 months ago
• nasa / CFS_TO
  ☆11Updated 7 years ago
• nasa / FM
  The Core Flight System (cFS) File Manager (FM) application.
  ☆45Updated 7 months ago
• nasa / channel-emulator
  ☆73Updated last year
• nasa / HS
  The Core Flight System (cFS) Health and Safety (HS) application.
  ☆39Updated 6 months ago
• nasa / ow_autonomy
  ☆24Updated last year
• ampl / global-optimization
  Global optimization test set
  ☆14Updated 9 years ago
• nasa / openmct-heatmap
  ☆12Updated 7 years ago
• nasa / tblCRCTool
  The Core Flight System (cFS) Table CRC Tool (tblCRCTool)
  ☆14Updated last year