gravatar for informalsystems

informalsystems informalsystems on Github

global

Languages

16 total

LanguageReposStarsGlobal
all842,75919,088
Rust241,1861,105
TypeScript86294,550
Scala1416410
Python817434,192
Go141728,711
unknown75240,853
Nix152425
TLA63326
Shell41831,413
Bluespec4634
SMT1671
Makefile158,244
HTML25134,219
F*1437
Roff116,667
Ruby10-

Repos

84 total

RepoLanguageStarsRank
informalsystems/quint on GithubquintTypeScript6075,095
informalsystems/tendermint-rs on Githubtendermint-rsRust5872,020
informalsystems/hermes on GithubhermesRust4292,611
informalsystems/apalache on GithubapalacheScala416432
informalsystems/atomkraft on GithubatomkraftPython7775,626
informalsystems/modelator on GithubmodelatorPython52103,563
informalsystems/cosmos.nix on Githubcosmos.nixNix52506
informalsystems/basecoin-rs on Githubbasecoin-rsRust5112,602
informalsystems/tm-load-test on Githubtm-load-testGo4727,134
informalsystems/themis-contract on Githubthemis-contractGo4527,812

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-06-27T08:29:20.406876885Z Re-sync