Similar repositories to ucsd-progsys/liquid-types-spacemacs:

• ucsd-progsys/liquid-types-spacemacs github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• tootsuite/mastodon github similar
• sayon/coq-cata github similar
• ayberkt/sml-system-t github similar
• pruvisto/TRS github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• AlexeyRaga/azure-functions-haskell-worker github similar
• jaredly/coqdocs github similar
• gclaramunt/CoqWorkshop github similar
• LogicTypesPrograms/LogicTypesPrograms github similar
• andre-artus/handbook-of-practical-logic-and-automated-reasoning-haskell github similar
• creichert/flycheck-haskell-stack github similar
• fpco/haskell-multi-docker-example github similar
• jozefg/fibrational-semantics github similar
• lives-group/time-complexity-verification github similar
• iu-parfunc/popl18-lh-prover-artifact github similar
• KolodeznyDiver/THEff github similar
• Beluga-lang/Meta github similar
• kit1980/lambdaconf-2016-usa github similar
• hjwylde/language-qux github similar
• ct-gradual-typing/Grady github similar
• mcopes73/standardization-agda github similar
• diogob/haskell-tools github similar
• dorchard/coeffects-experiments github similar
• jonsterling/itt-bidirectional github similar
• yairchu/red-black-tree github similar
• vmchale/ats-benchmarks github similar
• tel/intone github similar
• bdkoepke/pfds github similar
• chrisdone/rocksdb-haskell-ng github similar
• Risto-Stevcev/category-theory-by-example github similar
• tchajed/coq-io github similar
• jerbaroo/disco github similar
• mmark-md/mmark-ext github similar
• ct-gradual-typing/Papers github similar
• yveszhang/ldtyping github similar