gravatar for mattam82

mattam82 mattam82 on Github

global / france / nantes

Languages

6 total

LanguageReposStarsGlobalCountryLocality
all14262135,4023,02865
Coq62322821
OCaml4181,1061012
HTML1968,8671,14126
Verilog127,204431
Emacs Lisp1111,9782819
TeX10---

Repos

14 total

RepoLanguageStarsRank
mattam82/Coq-Equations on GithubCoq-EquationsCoq20824
mattam82/Constructors on GithubConstructorsOCaml162,143
mattam82/Forcing on GithubForcingCoq14362
mattam82/groupoid on GithubgroupoidHTML965,140
mattam82/opetopic-coq on Githubopetopic-coqCoq4879
mattam82/Coq-unif on GithubCoq-unifCoq31,164
mattam82/Coq--RTL on GithubCoq--RTLVerilog29,906
mattam82/Coq-misc on GithubCoq-miscCoq21,515
mattam82/RewriteStrat on GithubRewriteStratOCaml113,021
mattam82/Reify on GithubReifyOCaml112,847

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-04-17T09:51:01.574570921Z Re-sync