1.nasa / ogmaGenerator of runtime monitors for flight and robotics applications.assuranceautonomycfsembedded-systemsflight-softwarefprime+10 moreHaskellAPACHE-2.0588 total62 forks+15 starsfrom 573 · score 2.77
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
3.airalab / hs-web3Web3 API for Haskellhaskellethereumweb3polkadotipfskusamaHaskellAPACHE-2.0199 total69 forks+1 starsfrom 198 · score 0.69