Repos by nano-o

nano-o / repos

46 repos

«12...5»
RepoLanguageStarsRank
nano-o/PaxosMadeSimple on GithubPaxosMadeSimpleTLA1853
nano-o/MultiPaxos on GithubMultiPaxosTLA1176
nano-o/TLA-Library on GithubTLA-LibraryTLA5122
nano-o/Distributed-termination-detection on GithubDistributed-termination-detectionHTML5117,664
nano-o/SCP-Verification on GithubSCP-VerificationTeX320,808
nano-o/IO-Automata on GithubIO-AutomataIsabelle2191
nano-o/ivy-proofs on Githubivy-proofsunknown2716,938
nano-o/M2Paxos on GithubM2PaxosTLA1308
nano-o/Caesar on GithubCaesarTLA1304
nano-o/rosette-testgen on Githubrosette-testgenRacket13,199