Similar repositories to pittsburgh-haskell/pittsburgh-haskell-logo:

• gpampara/scalaz-http-client github similar
• adelbertc/programming-in-idris github similar
• pittsburgh-haskell/pittsburgh-haskell-logo github similar
• jonsterling/coq-meaning-explanation github similar
• stew/funlib github similar
• precog/quasar github similar
• mikeshulman/hott-categories github similar
• soimort/idris-commonmark github similar
• tonymorris/fp-for-business github similar
• relrod/tryidris-android github similar
• tonymorris/scalaz-history github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• jdoughertyii/hott-exercises github similar
• ezyang/HoTT-coqex github similar
• simpleenergy/se-stream-xml github similar
• runarorama/lambda github similar
• xuwei-k/iarray github similar
• puffnfresh/scrappy github similar
• jdoughertyii/hott-species github similar
• CategoricalData/catdb github similar
• jonsterling/TT-Reflection github similar
• idris-hackers/idris-bot github similar
• sdiehl/picologic github similar
• puffnfresh/purescript-streams github similar
• puffnfresh/stl-idris github similar
• ekmett/hyperfunctions github similar
• copumpkin/java github similar
• qfpl/coordinate github similar
• ekmett/homotopy github similar
• ohnosequences/statika github similar
• reynir/Verified github similar
• ziman/bibdris github similar
• boyland/twelf-library github similar
• bobatkey/sorting-types github similar
• ermine-language/ermine-legacy github similar
• japesinator/Idris-Bifunctors github similar
• ekmett/fractions github similar
• FranckS/RingIdris github similar
• puffnfresh/language-scala github similar
• supki/xmonad-screenshot github similar