Similar repositories to openbrainsrc/hstan:

• openbrainsrc/hstan github similar
• gibiansky/IHaskell github similar
• cse130-wi19/00-lambda github similar
• finnteegen/synthesizing-set-functions github similar
• jihgfee/coq-system_f github similar
• andreasabel/shift-reset-dsl github similar
• aa755/paramcoq github similar
• KolodeznyDiver/THEff github similar
• gallais/proof-search-ILLWiL github similar
• bacam/handlers-in-ott github similar
• finnteegen/pflp github similar
• nomeata/free-theorems-static-webui github similar
• nikivazou/proof-combinators github similar
• ccshan/prob-school github similar
• umazalakain/fyp github similar
• nick8325/equinox github similar
• gdevanla/pandoc-markdown-ghci-filter github similar
• jkoppel/thermometer-continuations github similar
• pleiad/Refinements github similar
• andreasabel/ipl github similar
• philzook58/lens-algebra github similar
• dboulytchev/miniKanren-coq github similar
• carlosfrodrigues/silkscreen github similar
• dgavedissian/programmer-hero github similar
• meteficha/Hipmunk github similar
• DougBurke/astro-haskell github similar
• proofengineering/proofengineering-bib github similar
• LightAndLight/parametricity-proofs github similar
• effectfully/STLC github similar
• coq-community/semantics github similar
• andrejbauer/social-distancing-simulator github similar
• L-TChen/MtacAR github similar
• danelahman/haskell-coop github similar
• gallais/pearl-binary-search github similar
• konn/equational-reasoning-in-haskell github similar
• QuickChick/Luck github similar
• vlopezj/coq-course github similar
• dbueno/funsat github similar
• tpavlic/splncs04nat github similar
• brianhempel/live-ghci github similar