Repos by ctrippel

ctrippel / repos

5 repos

«1»
RepoLanguageStarsRank
ctrippel/checkmate on GithubcheckmateAlloy333
ctrippel/TriCheck on GithubTriCheckPython13283,799
ctrippel/COS510-fproj on GithubCOS510-fprojHaskell143,344
ctrippel/subrosa on GithubsubrosaAlloy198
ctrippel/trippel-lab on Githubtrippel-labSystemVerilog0-