Similar repositories to GaloisInc/softfloat-hs:

• GaloisInc/softfloat-hs github similar
• ocramz/matrix-market-attoparsec github similar
• gibiansky/IHaskell github similar
• tonyday567/sfold github similar
• Profpatsch/yarn-lock github similar
• andersk/tiny-lambda github similar
• Ptival/language-ocaml github similar
• chris-martin/graphical-haskell github similar
• ocramz/taco-hs github similar
• ocramz/algebraic-graphs-io github similar
• ocramz/sde github similar
• haskell-hvr/lzma github similar
• ezrakilty/narc github similar
• ekmett/folds github similar
• LightAndLight/lambdapi github similar
• effectfully/prefolds github similar
• LightAndLight/meta-lambda github similar
• hercules-ci/warp-systemd github similar
• yallop/haskell-frex github similar
• LightAndLight/parametricity-proofs github similar
• tsurucapital/franz github similar
• LightAndLight/cbpv github similar
• amnh/PCG github similar
• haskell-hvr/uhttpc github similar
• mpickering/hie-lsif github similar
• batterseapower/edit-distance github similar
• ryantm/hdbc-mysql github similar
• haskell/hsc2hs github similar
• haskell/ghc-events github similar
• haskell/tar github similar
• haskell/pvp github similar
• agda/agda-ocaml github similar
• robrix/semilattices github similar
• vaclavsvejcar/headroom github similar
• sweirich/replib github similar
• haskell-hvr/base-noprelude github similar
• cdepillabout/password github similar
• fumieval/mason github similar
• dorchard/navier github similar
• haskell/directory github similar