1.nasa / ogmaGenerator of runtime monitors for flight and robotics applications.assuranceautonomycfsembedded-systemsflight-softwarefprime+10 moreHaskellAPACHE-2.0588 total62 forks+38 starsfrom 550 · score 3.66
2.input-output-hk / cardano-slArchivedCryptographic currency implementing Ouroboros PoS protocolhaskellstake-blockchain-protocolcryptocurrencyHaskellAPACHE-2.03.7K total609 forks+3 starsfrom 3,741 · score 1.39