Repos by runtimeverification

runtimeverification / repos

119 repos

«123...12»
RepoLanguageStarsRank
runtimeverification/kontrol on GithubkontrolPython31152,607
runtimeverification/plutus-core-semantics on Githubplutus-core-semanticsHaskell273,122
runtimeverification/deposit-contract-verification on Githubdeposit-contract-verificationMakefile272,089
runtimeverification/algorand-verification on Githubalgorand-verificationCoq26202
runtimeverification/beacon-chain-spec on Githubbeacon-chain-specTeX204,302
runtimeverification/python-semantics on Githubpython-semanticsPython18233,702
runtimeverification/beacon-chain-verification on Githubbeacon-chain-verificationTeX184,620
runtimeverification/casper-proofs on Githubcasper-proofsTeX174,900
runtimeverification/michelson-semantics on Githubmichelson-semanticsMakefile173,087
runtimeverification/solidity on GithubsolidityC++1677,742