nasa / WinSURE
☆17Updated 9 years ago
Alternatives and similar repositories for WinSURE:
Users that are interested in WinSURE are comparing it to the libraries listed below
- ☆10Updated 9 years ago
- Library for rigorous verification of non-linear arithmetic☆111Updated 10 months ago
- ☆11Updated 5 months ago
- The Core Flight System (cFS) Stored Command Absolute (SCA) application.☆18Updated 6 years ago
- EADIN_Lite Network Protocol☆56Updated 7 years ago
- The NASA Prognostics As-A-Service (PaaS) Sandbox is a simplified implementation of a Software Oriented Architecture (SOA) for performing …☆10Updated 5 months ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated 9 months ago
- ☆10Updated 8 years ago
- ☆50Updated 8 years ago
- ☆9Updated 7 years ago
- ☆16Updated 7 years ago
- AMPL transcriptions of optimal control problems of space relevance (requires ampl commercial software)☆19Updated 4 years ago
- A semantics compliance suite for the Modelica language☆18Updated 2 months ago
- ☆24Updated 10 months ago
- Random Variable Library☆24Updated 7 years ago
- The Core Flight System (cFS) Limit Checker (LC) application.☆31Updated 4 months ago
- SCRUB is a platform for orchestration and aggregation of static code analysis tools.☆42Updated 2 months ago
- fork of sample_app☆11Updated 2 years ago
- The Core Flight System (cFS) File Manager (FM) application.☆45Updated 5 months ago
- ☆12Updated 7 years ago
- Global optimization test set☆14Updated 9 years ago
- ☆9Updated 6 years ago
- A collection of general purpose C++ utilities that play well with the Standard Library and Boost.☆16Updated 6 years ago
- Cassini Structured Homepages uses LDAP authorization to provide a security layer to webpage content☆19Updated 11 years ago
- The Core Flight System (cFS) Table CRC Tool (tblCRCTool)☆14Updated last year
- The Core Flight System (cFS) Memory Manager (MM) application.☆31Updated 6 months ago
- Infrastructure for simultaneous orbital and attitude propagation, with attitude-based real-time analytical aerodynamics simulation☆23Updated 4 years ago
- ☆18Updated 4 years ago
- The Core Flight System (cFS) Sample Library (sample_lib)☆12Updated last year
- Machine-readable schema for NASA's response to the president's digital strategy.☆40Updated 4 years ago