This is stars and forks stats for /leanprover-community/tutorials repository. As of 16 Apr, 2024 this repository has 179 stars and 65 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| cszn/DnCNN | MATLABPythonObjective-C | 1.3k | +1 | 522 | +1 |
| luanfujun/deep-photo-styletransfer | MATLABLuaCuda | 10k | 0 | 1.5k | 0 |
| STMicroelectronics/meta-st-stm32mp | C++NASLBitBake | 95 | +1 | 77 | 0 |
| adium/adium | Objective-CCHTML | 258 | 0 | 26 | 0 |
| Azure/DASH | PythonP4C++ | 67 | 0 | 75 | 0 |
| munin-monitoring/munin | PerlShellJavaScript | 1.8k | 0 | 472 | 0 |
| shadowsocks/shadowsocks-rust | RustShellPython | 6.6k | 0 | 938 | 0 |
| MythicAgents/tetanus | RustPythonJavaScript | 233 | +4 | 33 | 0 |
| messense/aliyundrive-webdav | RustHTMLLua | 8.7k | 0 | 1.1k | 0 |
| databricks/Spark-The-Definitive-Guide | ScalaPythonJava | 2.7k | -1 | 2.7k | 0 |