Similar repositories to walkie/Hagl:

• walkie/Hagl github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• mruegenberg/Hs-Game github similar
• dafny-lang/libraries github similar
• nikivazou/verified_string_matching github similar
• lukeg101/MScProjectPublic github similar
• GaloisInc/gadt-starter github similar
• Zeta611/simplebnf github similar
• RobertHarper/hott-notes github similar
• phadej/kleene-type github similar
• jsiek/denotational_semantics github similar
• edx/edx-platform github similar
• tuvtran/project-based-learning github similar
• ivanperez-keera/demos-hacknotts2015 github similar
• spinda/diagrams-wx github similar
• taktoa/derp github similar
• ranjitjhala/gradr github similar
• minad/tasty-stats github similar
• strake/lenz.hs github similar
• takano-akio/total-array github similar
• parsonsmatt/packedbits github similar
• ezyang/groom github similar
• haskell-mafia/corba github similar
• mhaemmerle/entitas-haskell github similar
• Gabriel439/sig github similar
• kwf/Presburger github similar
• imalsogreg/tetrode-ephys github similar
• parsonsmatt/yo-dawg github similar
• walkie/Hagl-JFP github similar
• m0xxz/PyVader github similar
• taktoa/language-boogie github similar
• mbg/semantics-exercises github similar
• coq-contribs/maths github similar
• nikivazou/theorem-proving-template github similar
• YouyouCong/type-preserving-cps github similar
• walkie/CC-GTTSE github similar
• Lysxia/quickcheck-higherorder github similar
• DKXXXL/fo-mKanren-to-LF github similar
• josefs/deep-shallow-paper github similar