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 / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆111Updated 10 months ago
• nasa / bingocpp
  ☆11Updated 5 months ago
• nasa / SCA
  The Core Flight System (cFS) Stored Command Absolute (SCA) application.
  ☆18Updated 6 years ago
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆56Updated 7 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 5 months ago
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆21Updated 9 months ago
• nasa / MAV
  ☆10Updated 8 years ago
• nasa / CertWare
  ☆50Updated 8 years ago
• nasa / SAFE-DART
  ☆9Updated 7 years ago
• nasa / cfs_lib
  ☆16Updated 7 years ago
• esa / SpaceAMPL
  AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)
  ☆19Updated 4 years ago
• modelica / Modelica-Compliance
  A semantics compliance suite for the Modelica language
  ☆18Updated 2 months ago
• nasa / ow_autonomy
  ☆24Updated 10 months ago
• nasa / RVLib
  Random Variable Library
  ☆24Updated 7 years ago
• nasa / LC
  The Core Flight System (cFS) Limit Checker (LC) application.
  ☆31Updated 4 months ago
• nasa / scrub
  SCRUB is a platform for orchestration and aggregation of static code analysis tools.
  ☆42Updated 2 months ago
• nasa / skeleton_app
  fork of sample_app
  ☆11Updated 2 years ago
• nasa / FM
  The Core Flight System (cFS) File Manager (FM) application.
  ☆45Updated 5 months ago
• nasa / openmct-heatmap
  ☆12Updated 7 years ago
• ampl / global-optimization
  Global optimization test set
  ☆14Updated 9 years ago
• nasa / scifen-solver
  ☆9Updated 6 years ago
• amzn / amazon-template-library
  A collection of general purpose C++ utilities that play well with the Standard Library and Boost.
  ☆16Updated 6 years ago
• nasa / cash
  Cassini Structured Homepages uses LDAP authorization to provide a security layer to webpage content
  ☆19Updated 11 years ago
• nasa / tblCRCTool
  The Core Flight System (cFS) Table CRC Tool (tblCRCTool)
  ☆14Updated last year
• nasa / MM
  The Core Flight System (cFS) Memory Manager (MM) application.
  ☆31Updated 6 months ago
• komrad36 / KPS
  Infrastructure for simultaneous orbital and attitude propagation, with attitude-based real-time analytical aerodynamics simulation
  ☆23Updated 4 years ago
• nasa / VADER
  ☆18Updated 4 years ago
• nasa / sample_lib
  The Core Flight System (cFS) Sample Library (sample_lib)
  ☆12Updated last year
• nasa / digital-strategy
  Machine-readable schema for NASA's response to the president's digital strategy.
  ☆40Updated 4 years ago