Similar repositories to tchajed/coq-io:

• tchajed/coq-io github similar
• KyushuUniversityMathematics/RelationalCalculus github similar
• sayon/coq-cata github similar
• franleplant/frd-lisp github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• vercel-labs/react-on-the-edge github similar
• heliaxdev/totality-checker github similar
• amir/disco github similar
• jrchatruc/space_invaders github similar
• wilcoxjay/ill-formed-expressions github similar
• ezrosent/FLK-Semantics github similar
• ezrosent/TAPL-idris github similar
• maciejpirog/exotic-list-monads github similar
• lordcirth/haskell-rogue github similar
• neilparikh/brick-todo github similar
• wilcoxjay/tactics github similar
• jaredly/coqdocs github similar
• LogicTypesPrograms/LogicTypesPrograms github similar
• redex/redex-scripts github similar
• sstewartgallus/hs-callbypushvalue github similar
• jozefg/fibrational-semantics github similar
• lives-group/time-complexity-verification github similar
• iu-parfunc/popl18-lh-prover-artifact github similar
• andreasabel/shift-reset-dsl github similar
• KolodeznyDiver/THEff github similar
• ak3n/system-f-pop github similar
• davecaos/benetnasch github similar
• lrnv/ThorinDistributions.jl github similar
• ferrous-systems/training-bookshelf github similar
• RobertHarper/hott-notes github similar
• hjwylde/language-qux github similar
• ct-gradual-typing/Grady github similar
• parsonsmatt/pureflowy github similar
• duijf/shrtn github similar
• fmthoma/vty-workshop github similar
• pleiad/Refinements github similar
• ak3n/abt-zoo github similar
• jonsterling/itt-bidirectional github similar
• dorchard/coeffects-experiments github similar