César A. Muñoz's 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++000
gitignore
A collection of useful .gitignore templates
MIT000
Open-Source-Catalog
contains the NASA open source software catalog for automatic deployment to code.nasa.gov
Language:JavaScript000
Language:Common LispGPL-2.0000
pvslib
NASA PVS Library of Formal Developments
Language:Common Lisp000