gravatar for ctrippel

ctrippel ctrippel on Github

global

Languages

4 total

LanguageReposStarsGlobal
all548429,878
Alloy2343
Python113198,028
Haskell1115,406
SystemVerilog10-

Repos

5 total

RepoLanguageStarsRank
ctrippel/checkmate on GithubcheckmateAlloy333
ctrippel/TriCheck on GithubTriCheckPython13269,090
ctrippel/COS510-fproj on GithubCOS510-fprojHaskell142,022
ctrippel/subrosa on GithubsubrosaAlloy195
ctrippel/trippel-lab on Githubtrippel-labSystemVerilog0-

Badges

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

Global

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

Preview

Last updated: 2024-03-27T03:13:10.623951542Z Re-sync