1.nasa / ogmaGenerator of runtime monitors for flight and robotics applications.assuranceautonomycfsembedded-systemsflight-softwarefprime+10 moreHaskellAPACHE-2.0588 total62 forks+4 starsfrom 584 · score 1.61
2.hstreamdb / hstreamHStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.streamingdatabaseiotstream-processinghaskellreal-time+13 moreHaskellBSD-3-CLAUSE723 total55 forks+1 starsfrom 722 · score 0.69