Similar repositories to icicle-lang/zebra-ambiata:

• icicle-lang/zebra-ambiata github similar
• clintonmead/indextype github similar
• GaloisInc/cryptol-verifier github similar
• haskell-numerics/hmatrix-sundials github similar
• passy/optparse-text github similar
• haskoin/murmur3 github similar
• teh/gluon github similar
• ivan-m/transmogrify github similar
• MichaelXavier/tasty-fail-fast github similar
• tmcdonell/Lol-accelerate github similar
• ttuegel/refined-linear github similar
• GaloisInc/saw-core-what4 github similar
• jwiegley/simple-ltl github similar
• aquynh/capstone github similar
• gibiansky/IHaskell github similar
• meilisearch/MeiliSearch github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• parsonsmatt/hash-rekt github similar
• sboosali/enumerate github similar
• GaloisInc/saw-core-sbv github similar
• michaelpj/hsmods-logic github similar
• GaloisInc/hexdump github similar
• thoughtbot/distance-of-time github similar
• idontgetoutmuch/largeword github similar
• gergoerdi/system-f-agda github similar
• GaloisInc/gidl github similar
• GaloisInc/simple-tar github similar
• GaloisInc/LIMA github similar
• basvandijk/regional-pointers github similar
• deech/fltkhs-rose-tree github similar
• hsyl20/ghc-studio github similar
• GaloisInc/aterm-utils github similar
• DanBurton/coroutine-interfaces github similar
• idontgetoutmuch/Legendre github similar
• idontgetoutmuch/Leapfrog github similar
• byorgey/braids github similar
• Gabriel439/pipes-web github similar
• tel/h9 github similar
• Gabriel439/Haskell-Pipes-Extras-Library github similar