gravatar for hopv

hopv hopv on Github

global

Languages

5 total

LanguageReposStarsGlobal
all15221165,043
SMT37517
OCaml769473
Rust3668,830
Agda18224
Coq13738

Repos

15 total

RepoLanguageStarsRank
hopv/rust-horn on Githubrust-hornSMT7217
hopv/hoice on GithubhoiceRust4914,070
hopv/MoCHi on GithubMoCHiOCaml41909
hopv/vel on GithubvelRust1530,151
hopv/r_type on Githubr_typeOCaml132,563
hopv/horsat2 on Githubhorsat2OCaml83,633
hopv/syng on GithubsyngAgda8303
hopv/homusat on GithubhomusatOCaml73,947
hopv/nola on GithubnolaCoq31,027
hopv/benchmarks on GithubbenchmarksSMT2149

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-11-04T13:23:49.111175133Z Re-sync