1.elm / compilerCompiler for Elm, a functional language for reliable webapps.elmcompilerHaskellBSD-3-CLAUSE7.9K total689 forks+3 starsfrom 7,925 · score 1.39
2.GaloisInc / cryptolCryptol: The Language of CryptographyHaskellBSD-3-CLAUSE1.2K total130 forks+2 starsfrom 1,225 · score 1.10
3.meta / HaxlA Haskell library that simplifies access to remote data, such as databases or web-based services. HaskellBSD-3-CLAUSE4.4K total310 forks+1 starsfrom 4,369 · score 0.69