gravatar for rems-project

rems-project rems-project on Github

global

Languages

13 total

LanguageReposStarsGlobal
all451,04444,720
Isabelle35903
OCaml13185224
HTML28110,034
Rust2598,323
Standard ML14064
JavaScript13782,768
Coq822187
unknown315100,664
C7964,589
Python25402,588
Shell11258,328
TypeScript10-
Assembly10-

Repos

45 total

RepoLanguageStarsRank
rems-project/sail on GithubsailIsabelle5162
rems-project/lem on GithublemOCaml124297
rems-project/netsem on GithubnetsemHTML8110,538
rems-project/sail-arm on Githubsail-armIsabelle6911
rems-project/isla on GithubislaRust5711,201
rems-project/linksem on GithublinksemStandard ML4064
rems-project/rmem on GithubrmemJavaScript37105,619
rems-project/cerberus on GithubcerberusOCaml291,239
rems-project/islaris on GithubislarisCoq11420
rems-project/reviewing-good-and-bad-reasons on Githubreviewing-good-and-bad-reasonsunknown11136,090

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-16T05:23:50.656100176Z Re-sync