-
20:34
(UTC +04:00)
Block or Report
Block or report BenjaminGittins
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Open FPGA Stack (OFS)
OFS
An open-source solution that provides a hardware and software framework for building your shell design and workload.
United States of America
NASA - Software V&V
NASA-SW-VnV
NASA - Software Verification and Validation
NASA Ames Research Center, CA
Copilot Language
Copilot-Language
A stream-based runtime-verification framework for generating hard real-time C code.