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

PrototypeCommune

tnelson/Forge

Forge: A Tool and Language for Teaching Formal Methods

Propriétaire: tnelson (compte personnel)
Étoiles: Étoiles : 102
Forks: Forks : 13
Langage: Racket
Licence: MIT
Création: 2019
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Racket

Tous les dépôts Racket

jarcane/red-flag-of-fpÉtoiles : 103RacketPrototype
uwplse/CassiusÉtoiles : 102RacketPrototype
lexi-lambda/racket-r7rsÉtoiles : 102RacketPrototype
tonyg/pi-nothingÉtoiles : 101RacketPrototype
racket/web-serverÉtoiles : 100RacketPrototype