Similar repositories to ct-gradual-typing/Grady:

• ct-gradual-typing/Grady github similar
• sayon/coq-cata github similar
• ezrosent/FLK-Semantics github similar
• ezrosent/TAPL-idris github similar
• ct-gradual-typing/Papers github similar
• jaredly/coqdocs github similar
• LogicTypesPrograms/LogicTypesPrograms 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
• dlicata335/cubicalexperiments github similar
• hjwylde/language-qux github similar
• jetho/Implementing-functional-languages github similar
• malyzajko/ceres github similar
• jonsterling/itt-bidirectional github similar
• dorchard/coeffects-experiments github similar
• yairchu/red-black-tree github similar
• vmchale/ats-benchmarks github similar
• vincenthz/hsco github similar
• derekmcloughlin/elixir_chat github similar
• tchajed/coq-io github similar
• jerbaroo/disco github similar
• sile/erl_parse github similar
• andriusvelykis/ml-dev github similar
• kentdlee/MLComp github similar
• steinwaywhw/ats-parcc github similar
• pfnet-research/pml github similar
• yzyzsun/truffle-erlang github similar
• ayberkt/sml-system-t github similar
• ayberkt/Mini-TT github similar
• fluffynukeit/scbt github similar
• dorchard/betty-book-haskell-sessions github similar
• msprotz/proof-search-monad github similar
• ucsd-progsys/liquid-types-spacemacs github similar
• relrod/ct github similar
• jmchapman/Big-step-Normalisation github similar
• kosmikus/indexed github similar
• jin/subtyping github similar
• jyp/sctt github similar