Goose converts a subset of Go to Rocq
Stars
138
Forks
18
Watchers
138
Open Issues
1
Overall repository health assessment
No package.json found
This might not be a Node.js project
707
commits
646
commits
53
commits
46
commits
23
commits
22
commits
16
commits
7
commits
7
commits
5
commits
Move lock, elimination_stack, parallel_search_replace to own packages
89fcd68View on GitHubMerge pull request #189 from goose-lang/more-chan-examples
a8cff1bView on GitHub