Similar repositories to tchajed/regex-derivative:

• tchajed/regex-derivative github similar
• raichoo/IdrisCSVExample github similar
• thoughtpolice/coq-skeleton github similar
• coq-contribs/regexp github similar
• fpottier/minirust github similar
• shlevy/cat-fiat github similar
• gmalecha/template-coq github similar
• kframework/matching-logic-prover github similar
• SkySkimmer/HoTTClasses github similar
• ekmett/homotopy github similar
• yav/simple-smt github similar
• heades/System-F-Coq github similar
• maximedenes/coq-amd64 github similar
• jwiegley/categorical github similar
• bmsherman/topology github similar
• idris-hackers/idris-cph-exercises github similar
• awodey/math github similar
• llee454/functional-algebra github similar
• idris-hackers/eff-tutorial github similar
• pa-ba/calc-comp github similar
• coq-community/dblib github similar
• QuickChick/Luck github similar
• puffnfresh/crosscheck github similar
• uwplse/CoqAST github similar
• idris-hackers/idris-posix github similar
• snu-sf/paco github similar
• boogie-org/boogie-friends github similar
• JasonGross/coq-tools github similar
• PatrickMassot/lean-verbose github similar
• GaloisInc/jvm-parser github similar
• andrejbauer/dedekind-reals github similar
• david-christiansen/IdrisSqlite github similar
• mit-plv/bedrock github similar
• adampetcher/fcf github similar
• coq-community/autosubst github similar
• sweirich/trellys github similar
• math-comp/finmap github similar
• edwinb/SDL-idris github similar
• cmeiklejohn/distributed-data-structures github similar
• leanprover/tc github similar