Repos by wilcoxjay

wilcoxjay / repos

34 repos

«12...4»
RepoLanguageStarsRank
wilcoxjay/mypyvy on GithubmypyvyPython6189,544
wilcoxjay/coq-lit on Githubcoq-litPython16248,871
wilcoxjay/notes on GithubnotesDafny1314
wilcoxjay/tactics on GithubtacticsCoq5802
wilcoxjay/mechanized-metatheory2 on Githubmechanized-metatheory2Coq5769
wilcoxjay/jamesprl on GithubjamesprlStandard ML3487
wilcoxjay/ill-formed-expressions on Githubill-formed-expressionsOCaml36,561
wilcoxjay/pretty on GithubprettyCoq21,534
wilcoxjay/miniprl-coq on Githubminiprl-coqCoq21,490
wilcoxjay/PrettyParsing on GithubPrettyParsingCoq12,384