Similar repositories to farre/grin:

• farre/grin github similar
• Stiivi/StructuredQuery github similar
• GaloisInc/cryptol-verifier github similar
• robinvd/rlang github similar
• ollef/incrementalism github similar
• mstksg/wavelets github similar
• ranjitjhala/ghc-options github similar
• judah/rules_haskell github similar
• inanna-malick/hgit github similar
• PBertinJohannet/Mona github similar
• cogumbreiro/aniceto-coq github similar
• cauliflower-cflr/cauliflower github similar
• karlicoss/cofunctor-pl github similar
• ramirez7/monad-fault github similar
• Technius/simpl github similar
• andrewthad/natural-arithmetic github similar
• ion1/quadratic-irrational github similar
• haskellformac/GHCframework github similar
• CRogers/llvm-strong github similar
• ori-sky/hs-etch github similar
• luc-tielen/besra-lang github similar
• Skyb0rg007/Optix github similar
• robinvd/lang-experiments github similar
• vmchale/monads github similar
• lotz84/deep-learning-from-scratch github similar
• yigitozkavci/glow github similar
• JKTKops/ProtoHaskell github similar
• serras/HaskellsGameOfLife github similar
• marcin-rzeznicki/stackcollapse-ghc github similar
• vmchale/recursion github similar
• sinistersnare/aams github similar
• peridot/peridot github similar
• elliottt/layout-rules github similar
• cocreature/llvm-hs-jit-external-lib github similar
• cocreature/robinhood github similar
• jeltsch/incremental-computing github similar
• nulvinge/Linear-Abstract-Machine github similar
• pepeiborra/ghc-check github similar
• gfour/gic github similar
• nikivazou/proof-combinators github similar