Repos by michael-emmi
michael-emmi / repos
25 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | violat | TypeScript | 10 | 96,640 |
| ct-fuzz | C++ | 9 | 113,488 |
| bibly | TypeScript | 5 | 163,737 |
| ctverif | JavaScript | 5 | 486,720 |
| ct-verif-images | Shell | 4 | 117,009 |
| bam-bam-boogieman | Boogie | 4 | 7 |
| imdea-controls | Ruby | 2 | 145,684 |
| c2s-ocaml | OCaml | 1 | 12,660 |
| printlncs | JavaScript | 1 | 3,310,216 |
| auto-commit | Ruby | 1 | 287,409 |