Similar repositories to scott-fleischman/agda-travis:

• scott-fleischman/agda-travis github similar
• parsonsmatt/abstract-effects github similar
• ezyang/triemap github similar
• ivan-m/transmogrify github similar
• teh/gluon github similar
• jwiegley/fiat-rel github similar
• quchen/shack github similar
• ayberkt/sml-colors github similar
• ayberkt/tinyrw github similar
• scott-fleischman/relevant-haskell github similar
• ttuegel/refined-linear github similar
• ezyang/backpack-examples github similar
• rodrigogribeiro/generic github similar
• eborden/filepattern github similar
• MathiasVP/Alpha github similar
• ezyang/groom github similar
• gibiansky/IHaskell github similar
• scott-fleischman/docker-agda github similar
• brezal/the-power-of-pi github similar
• matterhorn-chat/aspell-pipe github similar
• RyanGlScott/levitation github similar
• liyishuai/cps github similar
• wspk/SimpleTypes github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• clarus/coq-atm github similar
• clayrat/idris-semidirect github similar
• jfischoff/distributed-flow github similar
• bgwines/suffix-tree github similar
• EarthCitizen/escape-artist github similar
• lambdaxymox/idris-nanoparsec github similar
• jaredly/coqdocs github similar
• mrkgnao/utt github similar
• peti/titlecase github similar
• aljce/servant-render github similar
• shlevy/cat-fiat github similar
• simonmar/blog github similar
• joe9/GenericPretty github similar
• lives-group/time-complexity-verification github similar
• ssomayyajula/elab github similar