ctrippel

global

Languages

4 total

Language	Repos	Stars	Global
all	5	50	467,546
Alloy	2	36	3
Python	1	13	227,375
Haskell	1	1	16,278
SystemVerilog	1	0	-

Repos

5 total

Repo	Language	Stars	Rank
checkmate	Alloy	35	3
TriCheck	Python	13	315,092
COS510-fproj	Haskell	1	44,161
subrosa	Alloy	1	114
trippel-lab	SystemVerilog	0	-

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

<a href="https://stardev.io/developers/ctrippel"><img alt="Check out ctrippel's profile on stardev.io" src="https://stardev.io/developers/ctrippel/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-10-30T07:38:01.400434493Z Re-sync