数据库libraryHaskell

ogma

Generator of runtime monitors for flight and robotics applications.

557 stars49 forks4 issuesApache-2.0更新于 2026/4/25

assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemroboticsrosros2runtime-monitoringruntime-monitoring-systemruntime-verificationrvspace-rosspacecraft

暂无详细内容

同类推荐

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

121,890

godot

Godot Engine – Multi-platform 2D and 3D game engine

109,913

every-programmer-should-know

A collection of (mostly) technical things every software developer should know about

98,805

puppeteer

JavaScript API for Chrome and Firefox

94,188

opencv

Open Source Computer Vision Library

87,229

manim

Animation engine for explanatory math videos

86,275