Repos by jacopoMauro
jacopoMauro / repos
16 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | dm552 | Haskell | 9 | 7,157 |
| dm874 | Jolie | 4 | 6 |
| abs_deployer | Python | 2 | 1,240,502 |
| picat | Dockerfile | 2 | 25,763 |
| z3 | Dockerfile | 0 | - |
| minizinc | Dockerfile | 0 | - |
| fzn2smt | Dockerfile | 0 | - |
| or-tools | Dockerfile | 0 | - |
| choco | Dockerfile | 0 | - |
| minisatid | Dockerfile | 0 | - |