gravatar for digamma-ai

digamma-ai digamma-ai on Github

global / canada / saratoga beach

Languages

8 total

LanguageReposStarsGlobalCountryLocality
all1259399,7959,3389
Java12159,4609992
Jupyter Notebook31735,8319504
Mathematica110540331
Coq3839721
TeX1226,4527311
Python111,387,97724,93115
unknown10---
Go10---

Repos

12 total

RepoLanguageStarsRank
digamma-ai/timeextractor on GithubtimeextractorJava2174,091
digamma-ai/tfcv on GithubtfcvJupyter Notebook1738,720
digamma-ai/weather-similarity on Githubweather-similarityMathematica10586
digamma-ai/asn1fpcoq on Githubasn1fpcoqCoq5771
digamma-ai/formal-verification-intro on Githubformal-verification-introTeX227,118
digamma-ai/CVE-2020-8835-verification on GithubCVE-2020-8835-verificationCoq21,305
digamma-ai/PyCoreML on GithubPyCoreMLPython12,503,628
digamma-ai/flocq-quickchick on Githubflocq-quickchickCoq12,072
digamma-ai/water-data-analysis on Githubwater-data-analysisunknown0-
digamma-ai/water-data on Githubwater-dataJupyter Notebook0-

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-07-01T15:06:13.952276424Z Re-sync