Repos by mit-plv

mit-plv / repos

27 repos

«123»
RepoLanguageStarsRank
mit-plv/coqutil on GithubcoqutilCoq41137
mit-plv/bbv on GithubbbvCoq27196
mit-plv/rewriter on GithubrewriterCoq23222
mit-plv/reification-by-parametricity on Githubreification-by-parametricityMathematica11530
mit-plv/hemiola on GithubhemiolaCoq8546
mit-plv/engine-bench on Githubengine-benchCoq5753
mit-plv/stencils on GithubstencilsCoq4951
mit-plv/network-configurations on Githubnetwork-configurationsCoq4885
mit-plv/blog on GithubblogCSS384,315
mit-plv/certifying-derivation-of-state-machines-from-coroutines on Githubcertifying-derivation-of-state-machines-from-coroutinesHaskell315,350