jackfoxy/DependentTypes Stargazers
- David Landa4e1e0603
- akcd
- Alexey KozlovBadmoonz
- Baldvin Dagur Rúnarssonbaldvin
- Tareboloutaredoubeni
- cnd
- cybai (Haku)CYBAI
- Drew Synandrewsynan
- dzmitry-lahodadzmitry-lahoda
- efotin
- esaul
- Godfred Asamoahgfredtech
- Henrik A Norberghenriknorberg
- Minghao Huhxdhttk
- Jim Kropajimkropa
- gparmigianijkone27
- Johannes Eggerjohannesegger
- Joe Grahamjosgraha
- Logyi, hajnalvédőlojikil
- Mauricio Scheffermausch
- Arets Paeglismindbound
- Yifan Wangnamelos
- Paul Youngpaulyoung
- Paweł Bańkapmbanka
- pocketberserkerpocketberserker
- Rajiv MounguengueRajivhost
- Robin Munnrmunn
- robertjrobkuz
- Gauthier Segaysmoothdeveloper
- tluyben
- Oskar Gewalliwallymathieu
- whitglintwhitglint
- Wojtekwklm
- Xavier Van de Woestynexvw
- Yevhenii TsalkoYTsalko
- Zack Youngzaaack