Repos by nano-o

nano-o / repos

43 repos

«12...5»
RepoLanguageStarsRank
nano-o/PaxosMadeSimple on GithubPaxosMadeSimpleTLA1852
nano-o/MultiPaxos on GithubMultiPaxosTLA1175
nano-o/TLA-Library on GithubTLA-LibraryTLA5112
nano-o/Distributed-termination-detection on GithubDistributed-termination-detectionHTML5113,604
nano-o/SCP-Verification on GithubSCP-VerificationTeX320,182
nano-o/IO-Automata on GithubIO-AutomataIsabelle2180
nano-o/ivy-proofs on Githubivy-proofsunknown2683,083
nano-o/M2Paxos on GithubM2PaxosTLA1293
nano-o/Caesar on GithubCaesarTLA1289
nano-o/rosette-testgen on Githubrosette-testgenRacket13,136