Similar repositories to juliangrove/presupposition:

• juliangrove/presupposition github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• svlauer/example_sentences github similar
• michael-franke/CompPrag-2017 github similar
• NCrashed/tcod-haskell github similar
• addrummond/cooperstorage github similar
• mwhite14850/dyc3g github similar
• PterosDiacos/lambekseq github similar
• epstabler/mgtdb github similar
• snitramodranoel/lecture github similar
• dnadales/nix-latex-template github similar
• marhop/pandoc-unicode-math github similar
• cl-model-languages/cl-prolog2 github similar
• fintelkai/fintel-heim-intensional-notes github similar
• semprag/biblatex-sp-unified github similar
• jamesnvc/lsp_server github similar
• Calysto/calysto_prolog github similar
• robrix/starlight github similar
• dorchard/effect-monad github similar
• logicmoo/wam_common_lisp github similar
• kamilchm/.nixpkgs github similar
• sasagawa888/eisl github similar
• jwiegley/coq-haskell github similar
• himura/twitter-conduit github similar
• jyp/styx github similar
• lukexi/halive github similar
• jice-nospam/doryen-rs github similar
• tweag/capability github similar
• ekmett/guanxi github similar
• joostkremers/ebib github similar
• bob-carpenter/prob-stats github similar
• antalsz/hs-to-coq github similar
• microsoft/schemy github similar
• alif-type/xits github similar
• phortx/Raspberry-Pi-Setup-Guide github similar
• ekmett/machines github similar
• shajra/example-nix github similar
• ollef/Earley github similar
• firamath/firamath github similar