본문으로 건너뛰기
buildradar
Sign in

nasa/ogma

@nasa

항공 및 로봇 공학 애플리케이션을 위한 런타임 모니터 생성기입니다.

스타
579
포크
59
언어
Haskell
라이선스
Apache-2.0
마지막 푸시
2일 전
Haskellroboticsembedded-systemsros2rosrobot-operating-systemassuranceautonomycfsflight-softwarefprimeruntime-monitoringruntime-monitoring-systemruntime-verificationrvspace-rosspacecraft

아직 관련 인텔이 없습니다

이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.