gravatar for aman-goel

aman-goel aman-goel on Github

global / united states / seattle

Languages

8 total

LanguageReposStarsGlobalCountryLocality
all16118246,42134,3401,741
C++27221,6202,598151
Python225136,61818,725976
TLA21451163
unknown55245,53425,7111,106
Verilog226,90379426
C10---
CSS10---
TeX10---

Repos

16 total

RepoLanguageStarsRank
aman-goel/avr on GithubavrC++7225,132
aman-goel/ic3po on Githubic3poPython25179,898
aman-goel/ivybench on GithubivybenchTLA1267
aman-goel/fmcad2021exp on Githubfmcad2021expunknown3417,990
aman-goel/BakeryProtocol on GithubBakeryProtocolTLA2160
aman-goel/verilogbench on GithubverilogbenchVerilog118,945
aman-goel/date19eval on Githubdate19evalunknown12,171,538
aman-goel/nfm2019exp on Githubnfm2019expunknown12,161,300
aman-goel/tacas20ae on Githubtacas20aeVerilog116,687
aman-goel/aman-goel.github.io on Githubaman-goel.github.ioCSS0-

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-06-28T22:53:15.278195185Z Re-sync