gravatar for nano-o

nano-o nano-o on Github

global / united states / washington

Languages

12 total

LanguageReposStarsGlobalCountryLocality
all4351438,94357,542840
TLA153622101
HTML7790,34710,118211
TeX3317,7062,46140
unknown42627,98353,798832
Isabelle4213681
Racket312,3364953
Dockerfile10---
Python10---
Shell10---
Vim Script20---
Scala10---
Alloy10---

Repos

43 total

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,461
nano-o/SCP-Verification on GithubSCP-VerificationTeX320,170
nano-o/IO-Automata on GithubIO-AutomataIsabelle2180
nano-o/ivy-proofs on Githubivy-proofsunknown2682,266
nano-o/M2Paxos on GithubM2PaxosTLA1293
nano-o/Caesar on GithubCaesarTLA1289
nano-o/rosette-testgen on Githubrosette-testgenRacket13,135

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountryLocality

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-06-21T09:08:50.185752585Z Re-sync