Similar repositories to charleso/bantam:

• charleso/bantam github similar
• sweirich/PHICWIC2018 github similar
• cocreature/pfpl-redex github similar
• sorellabs/once-upon-a-time github similar
• ssomayyajula/elab github similar
• KolodeznyDiver/THEff github similar
• relrod/tryidris-android github similar
• davidzhulijun/TAM github similar
• yurrriq/idris-logic github similar
• fmthoma/vty-workshop github similar
• BekaValentine/basic-proof-development github similar
• ayberkt/Mini-TT github similar
• frabbit/hots github similar
• mrkgnao/system-dc github similar
• ziman/text github similar
• pigworker/CS410-16 github similar
• mathandley/Unie github similar
• lthms/chain github similar
• folktale/laws github similar
• conal/talk-2016-generic-parallel-scan github similar
• jashug/FormalizedCompilerAlgorithms github similar
• quarterpast/fantasy-http github similar
• pleiad/Refinements github similar
• rodrigogribeiro/unification github similar
• evertedsphere/preposterous github similar
• jkoppel/thermometer-continuations github similar
• gmalecha/coq-interaction-trees github similar
• jwiegley/bytestring-fiat github similar
• jwiegley/categorical github similar
• philzook58/lens-algebra github similar
• benjaminselfridge/logix github similar
• mit-frap/spring17 github similar
• frabbit/scuts github similar
• thsutton/cha github similar
• jamesthompson/piserv github similar
• bitemyapp/hedgehog-checkers github similar
• ayberkt/sequents github similar
• LightAndLight/parametricity-proofs github similar
• pigworker/Totality github similar
• ezyang/lr-agda github similar