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

PrototypeCommune

sorear/metamath-turing-machines

metamath proof enumerators and other things

Propriétaire: sorear (compte personnel)
Étoiles: Étoiles : 100
Forks: Forks : 15
Langage: Tcl
Licence: MIT
Création: 2016
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

Autres dépôts de sorear

Les 2 dépôts de sorear

sorear/nieczaÉtoiles : 152C#Prototype

D’autres dépôts Tcl

Tous les dépôts Tcl

ApacheFriends/xampp-buildÉtoiles : 102TclPrototype
cambridgehackers/fpgamakeÉtoiles : 101TclPrototype
jiangwx/SkrSkrÉtoiles : 101TclPrototype