cesaramh

Pinned Repositories

daidalus
open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volumes).
Language:C++00
gitignore
A collection of useful .gitignore templates
00
Open-Source-Catalog
contains the NASA open source software catalog for automatic deployment to code.nasa.gov
Language:JavaScript00
PVS
Language:Common Lisp00
pvslib
NASA PVS Library of Formal Developments
Language:Common Lisp00
icarous
ICAROUS is a software architecture for the development of UAS applications
Language:C155 28 2166
Kodiak
Library for rigorous verification of non-linear arithmetic
Language:C++107 16 1129
Open-Source-Catalog
Contains the NASA open source software catalog for automatic deployment to code.nasa.gov
Language:JavaScript279 54 9119
pvslib
NASA PVS Library of Formal Developments
Language:Common Lisp259 31 350
PVS
The People's Verification System
Language:Common Lisp131 20 7032

cesaramh's Repositories

cesaramh/daidalus
open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volumes).
Language:C++00
cesaramh/gitignore
A collection of useful .gitignore templates
00
cesaramh/Open-Source-Catalog
contains the NASA open source software catalog for automatic deployment to code.nasa.gov
Language:JavaScript00
cesaramh/PVS
Language:Common Lisp00
cesaramh/pvslib
NASA PVS Library of Formal Developments
Language:Common Lisp00