This is stars and forks stats for /martinescardo/HoTTEST-Summer-School repository. As of 25 Apr, 2024 this repository has 246 stars and 63 forks.
HoTTEST Summer School 2022 School webpage at UWO, including instructors, colloquium speakers, teaching assistants, organizers, and more. Agda lecture notes and exercises HoTT lecture notes and exercises Additional resources HOTTEST Summer School 2022 YouTube agda-unimath 1Lab Introduction to HoTT/UF with Agda Cubical Library GitPod
HoTTEST Summer School 2022 School webpage at UWO, including instructors, colloquium speakers, teaching assistants, organizers, and more. Agda lecture notes and exercises HoTT lecture notes and exercises Additional resources HOTTEST Summer School 2022 YouTube agda-unimath 1Lab Introduction to HoTT/UF with Agda Cubical Library GitPod
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
ProgrammingHero1/developer-portfolio | HTMLCSS | 23 | 0 | 8 | 0 |
TanStack/react-charts | HTMLTypeScriptCSS | 2.6k | 0 | 233 | 0 |
webmin/webmin | HTMLPerlJavaScript | 3.1k | 0 | 558 | 0 |
goldfire/howler.js | JavaScriptCSSHTML | 22.1k | 0 | 2.2k | 0 |
KasperskyLab/TinyCheck | PythonVueCSS | 2.9k | +1 | 214 | 0 |
zuramai/laravel-smm | BladePHPSass | 69 | 0 | 33 | 0 |
EZLippi/Tinyhttpd | CPerlHTML | 10.4k | +4 | 3.9k | -1 |
Rodillita/codigos-web | CSSHTMLJavaScript | 0 | 0 | 0 | 0 |
learn-co-curriculum/hs-zhw-shoes-layout | CSSHTMLRuby | 0 | 0 | 130 | 0 |
tocttou/hacker-blog | CSSHTML | 270 | 0 | 497 | 0 |