gravatar for statebox

statebox statebox on Github

global

Languages

12 total

LanguageReposStarsGlobal
all421,03945,016
unknown114757,268
Idris63309
Haskell1160693
JavaScript1426107,790
TeX2243,596
PureScript217230
Rust1437,172
Python111,344,907
C++11491,405
HTML11909,531
Jupyter Notebook10-
Shell10-

Repos

42 total

RepoLanguageStarsRank
statebox/awesome-applied-ct on Githubawesome-applied-ctunknown4597,737
statebox/idris-ct on Githubidris-ctIdris2498
statebox/cql on GithubcqlHaskell160617
statebox/fsm-oracle on Githubfsm-oracleIdris5835
statebox/bcfwm on GithubbcfwmTeX243,628
statebox/purescript-firestore on Githubpurescript-firestorePureScript13533
statebox/dstbx on GithubdstbxIdris8238
statebox/idris-multihash on Githubidris-multihashIdris8234
statebox/applied-cat on Githubapplied-catJavaScript7367,919
statebox/ptnet-viewer on Githubptnet-viewerJavaScript6423,310

Badges

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

Global

Global

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

Preview

Last updated: 2024-04-07T02:39:13.440140058Z Re-sync