Similar repositories to jcranch/agda-stuff:

• jcranch/agda-stuff github similar
• sjoerdvisscher/algebraic-classes github similar
• alphaHeavy/lzma-conduit github similar
• ranjitjhala/haddock-annot github similar
• Gabriel439/Haskell-Nix-Derivation-Library github similar
• liamoc/wizards github similar
• spire/spire github similar
• gelisam/typelevel-rewrite-rules github similar
• kowainik/treap github similar
• ekmett/constraints github similar
• pa-ba/compdata github similar
• monadfix/named github similar
• sweirich/challenge github similar
• sdiehl/repline github similar
• ollef/Bidirectional github similar
• larrytheliquid/Lemmachine github similar
• tfausak/haskeleton github similar
• dmjio/envy github similar
• discus-lang/ddc github similar
• UniMath/Foundations github similar
• lukexi/halive github similar
• begriffs/heroku-buildpack-ghc github similar
• sweirich/dth github similar
• liamoc/learn-you-an-agda github similar
• nmattia/snack github similar
• HeinrichApfelmus/hyper-haskell github similar
• granule-project/granule github similar
• kowainik/summoner github similar
• dhall-lang/dhall-haskell github similar
• evincarofautumn/kitten github similar
• GaloisInc/HaLVM github similar
• HoTT/HoTT github similar
• google-research/dex-lang github similar
• lamdu/lamdu github similar
• koka-lang/koka github similar
• haskell/haskell-ide-engine github similar
• sdiehl/write-you-a-haskell github similar
• compiler-explorer/compiler-explorer github similar
• hasura/graphql-engine github similar
• syncthing/syncthing github similar