Similar repositories to michael-franke/CompPrag-2017:

• gibiansky/IHaskell github similar
• michael-franke/CompPrag-2017 github similar
• tootsuite/mastodon github similar
• svlauer/example_sentences github similar
• bkeej/SocialMeaningExp github similar
• addrummond/cooperstorage github similar
• MatsRooth/Finite-state-intensionality github similar
• mwhite14850/dyc3g github similar
• tud-fop/vanda-haskell github similar
• NCrashed/tcod-haskell github similar
• juliangrove/presupposition github similar
• epstabler/mgtdb github similar
• cb125/scope-islands github similar
• dillonhuff/Folly github similar
• PterosDiacos/lambekseq github similar
• wenkokke/NLQ github similar
• mchakravarty/hoas-conv github similar
• snitramodranoel/lecture github similar
• dnadales/nix-latex-template github similar
• cgpotts/pypragmods github similar
• fintelkai/fintel-heim-intensional-notes github similar
• gallais/type-scope-semantics github similar
• emk/haskell-probability-monads github similar
• semprag/biblatex-sp-unified github similar
• marhop/pandoc-unicode-math github similar
• robrix/starlight github similar
• dorchard/effect-monad github similar
• himura/twitter-conduit github similar
• jwiegley/coq-haskell github similar
• ekmett/hask github similar
• bob-carpenter/prob-stats github similar
• jice-nospam/doryen-rs github similar
• tweag/capability github similar
• tweag/monad-bayes github similar
• ekmett/guanxi github similar
• lukexi/halive github similar
• antalsz/hs-to-coq github similar
• phortx/Raspberry-Pi-Setup-Guide github similar
• govtrack/govtrack.us-web github similar
• jgm/yst github similar