Jorge Peraza's repositories
astrobee
NASA Astrobee Robot Software
daidalus
open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volumes).
FPRoCK
FPRoCK is a software library for checking satisfiability of a set of mixed real and floating-point constraints. If this set of constraints has at least one solution, it returns one of the solutions, otherwise it returns UNSAT indicating that the set is unsatisfiable.
gitignore
A collection of useful .gitignore templates
go-git
A highly extensible Git implementation in pure Go.
icarous
ICAROUS is a software architecture for the development of UAS applications
PVS
The People's Verification System
rets-framework
Drupal RETS Real Estate Framework
TTECTrA
An open source, semi-automated, control design tool for subsonic aircraft engine simulations written in the MATLAB/Simulink environment. The Tool for Turbine Engine Closed-loop Transient Analysis provides the user a preliminary estimate of the closed-loop transient performance of an engine model.
WellClear
Well-Clear Boundary Models for Integration of UAS in the NAS