Similar repositories to pepeiborra/ghc-check:

• pepeiborra/ghc-check github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• roc-lang/roc github similar
• emc2/enumeration github similar
• Stiivi/StructuredQuery github similar
• GaloisInc/cryptol-verifier github similar
• robinvd/rlang github similar
• GaloisInc/saw-core-what4 github similar
• ollef/incrementalism github similar
• liamoc/pretty-show-ansi-wl github similar
• mstksg/wavelets github similar
• abakst/symmetry github similar
• brk/minuproto github similar
• ranjitjhala/ghc-options github similar
• judah/rules_haskell github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• tweag/awesome-learning-haskell github similar
• tweag/timestats github similar
• nwtgck/tableau-solver-haskell github similar
• JKTKops/ProtoHaskell github similar
• inanna-malick/hgit github similar
• edsko/stack2cabal github similar
• bgamari/ghc-pretty-errors github similar
• pmalex/congruencer github similar
• cogumbreiro/aniceto-coq github similar
• farre/grin github similar
• nwtgck/platy-lang-haskell github similar
• mattiast/dragon-llvm-compiler github similar
• marcin-rzeznicki/hspec-tables github similar
• andrewthad/basics github similar
• LeapYear/github-rest github similar
• alanfalloon/typesafe-sql github similar
• stoeffel/tasty-test-reporter github similar
• TravisWhitaker/libglaswegian github similar
• Mistuke/GhcChoco github similar
• seagreen/llvm-in-haskell github similar