Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

AlphaPeu commune

Trebor-Huang/history

History of type theory (Chinese).

Propriétaire: Trebor-Huang (compte personnel)
Étoiles: Étoiles : 359
Forks: Forks : 12
Langage: TeX
Licence: Aucune
Création: 2022
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts TeX

Tous les dépôts TeX

iml-wg/HEP-ML-ResourcesÉtoiles : 361TeXAlpha
lh3/miniasmÉtoiles : 360TeXAlpha
PostgREST/postgrest-docsÉtoiles : 359TeXAlpha
ustctug/ustcbeamerÉtoiles : 358TeXAlpha
ICLR/Master-TemplateÉtoiles : 358TeXAlpha
Pomax/nrGrammarÉtoiles : 357TeXAlpha