PrototypeCommune
goose-lang/goose
Goose converts a subset of Go to Rocq
Archivé : ce dépôt n’évolue plus
- Propriétaire
- goose-lang (organisation)
- Étoiles
- Étoiles : 143
- Forks
- Forks : 18
- Langage
- Go
- Licence
- MIT
- Création
- 2019
- Sujets
- gocoq
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Go
Tous les dépôts Go- haowang02/cpa-plugin-key-billingÉtoiles : 143GoPrototype
- 446599/ccodex-rotateÉtoiles : 143GoPrototype
- HanawaBanana/workbuddy2apiÉtoiles : 143GoPrototype
- hoisie/twitterstreamÉtoiles : 143GoPrototype
- agl/extract-nss-root-certsÉtoiles : 143GoPrototype
- laurent22/rippleÉtoiles : 143GoPrototype