nasa/ogma

Generator of runtime monitors for flight and robotics applications.

Haskell565 stars54 forksApache-2.0

assurance autonomy cfs embedded-systems flight-software fprime robot-operating-system robotics ros ros2 runtime-monitoring runtime-monitoring-system runtime-verification rv space-ros spacecraft

Momentum

nasa/ogma has 565 GitHub stars.

It currently ranks #24214 daily, #24848 weekly, #27072 monthly by momentum on Trending Repos; its best-ever rank is #5442.

Rankings

PeriodRankScore

Daily

#242140.0

Weekly

#248480.0

Monthly

#270720.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #5442

Format

Markdown

[![nasa/ogma badge](https://trending-repos.com/badge/nasa/ogma.svg?v=3)](https://trending-repos.com/repositories/nasa/ogma?utm_source=github&utm_medium=badge)

nasa/ogma

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

nasa/ogma

Momentum

Rankings

Engagement

Similar trending repositories

Embeds