gravatar for jacopoMauro

jacopoMauro jacopoMauro on Github

global / denmark / odense

Languages

6 total

LanguageReposStarsGlobalCountryLocality
all1616902,8722,67460
Haskell194,049382
Jolie131121
Python12710,9031,60536
Dockerfile11218,849805
TeX10---
SCSS10---

Repos

16 total

RepoLanguageStarsRank
jacopoMauro/dm552 on Githubdm552Haskell96,870
jacopoMauro/dm874 on Githubdm874Jolie311
jacopoMauro/abs_deployer on Githubabs_deployerPython21,185,195
jacopoMauro/picat on GithubpicatDockerfile224,068
jacopoMauro/z3 on Githubz3Dockerfile0-
jacopoMauro/minizinc on GithubminizincDockerfile0-
jacopoMauro/fzn2smt on Githubfzn2smtDockerfile0-
jacopoMauro/or-tools on Githubor-toolsDockerfile0-
jacopoMauro/choco on GithubchocoDockerfile0-
jacopoMauro/minisatid on GithubminisatidDockerfile0-

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

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-03-24T20:36:03.490138839Z Re-sync