| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| dcetin/eth-cs-notes | 487 | 0 | 0 | about 4 years ago | 0 | 0 | TeX | |||
| Lecture notes and cheatsheets for Master's in Computer Science at ETH Zurich | ||||||||||
| flavioschneider/ethzcheatsheets | 89 | 0 | 0 | over 5 years ago | 0 | 0 | mit | TeX | ||
| viperproject/silver | 66 | 0 | 0 | about 2 years ago | 0 | 104 | mpl-2.0 | Scala | ||
| Definition of the Viper intermediate verification language. | ||||||||||
| ymerkli/eth-summaries | 11 | 0 | 0 | over 4 years ago | 0 | 0 | other | TeX | ||
| Summaries and study materials I've written over the course of my studies at ETH Zurich | ||||||||||
| stendarr/infk-uebungsscraper-java | 6 | 0 | 0 | about 6 years ago | 0 | 0 | gpl-3.0 | Java | ||
| get all your exercises with one click | ||||||||||
