Similar repositories to vmchale/ats-benchmarks:

• hecrj/iced github similar
• vmchale/ats-benchmarks github similar
• alexcrichton/cc-rs github similar
• Eloston/ungoogled-chromium github similar
• LogicTypesPrograms/LogicTypesPrograms github similar
• yurrriq/learning-idris github similar
• sayon/coq-cata github similar
• jozefg/concurrent-stack-with-helping github similar
• cocreature/smt-pretty github similar
• pixijs/pixi.js github similar
• gibiansky/IHaskell github similar
• AtnNn/isabelle-learn github similar
• Eugeny/terminus github similar
• tootsuite/mastodon github similar
• heliaxdev/witch github similar
• danburkert/prost github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• mietek/abel-chapman-extended github similar
• jaredly/coqdocs 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
• kit1980/lambdaconf-2016-usa github similar
• hjwylde/language-qux github similar
• ct-gradual-typing/Grady github similar
• Bogdanp/elm-generate github similar
• dorchard/coeffects-experiments github similar
• jonsterling/itt-bidirectional github similar
• yairchu/red-black-tree github similar
• Beluga-lang/Meta github similar
• Risto-Stevcev/category-theory-by-example github similar
• tchajed/coq-io github similar
• jerbaroo/disco github similar
• DSLsofMath/tfpie2015 github similar
• kofno/purescript-aws-lambda github similar
• ct-gradual-typing/Papers github similar
• bitemyapp/bluetick github similar
• ryanorendorff/lc-2017-fusion github similar