PrototypeCommon
goose-lang/goose
Goose converts a subset of Go to Rocq
Archived: this repository is read-only
- Owner
- goose-lang (organization)
- Stars
- Stars: 143
- Forks
- Forks: 18
- Language
- Go
- License
- MIT
- Created
- 2019
- Topics
- gocoq
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Go
All Go repos- nyarime/NRUPStars: 143GoPrototype
- huangchengsir/pipewrightStars: 143GoPrototype
- hedioum/Hedioum-Pool-TunnelStars: 143GoPrototype
- hoisie/twitterstreamStars: 143GoPrototype
- agl/extract-nss-root-certsStars: 143GoPrototype
- laurent22/rippleStars: 143GoPrototype