数据库libraryHaskell

ogma

Generator of runtime monitors for flight and robotics applications.

556 stars48 forks4 issuesApache-2.0更新于 2026/4/21

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

暂无详细内容

同类推荐

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

121,639

godot

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

109,785

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,164

opencv

Open Source Computer Vision Library

87,200

manim

Animation engine for explanatory math videos

86,177