goose-lang / gooseLinks

Goose converts a subset of Go to Rocq
120Updated this week

Alternatives and similar repositories for goose

Users that are interested in goose are comparing it to the libraries listed below

Sorting: