go-air
⊧ Analysis and verification tools for and in Go. ⊧
Funding Links: https://github.com/sponsors/go-air
- Name: go-air
- Location: France
- Kind: organization
- Followers: 1
- Following: 0
- Total stars: 193
- Repositories count: 9
- Created at: 2023-03-21T19:18:33.114Z
- Updated at: 2025-03-10T06:05:58.520Z
- Last synced at: 2025-03-10T06:05:58.520Z
GitHub Sponsors Profile
Go-air is a GitHub organisation dedicated to open development of analysis and verification tools for and in Go.
We have developed the gini sat solver and reach safety model checker.
We are currently focusing on several aspects of analysis infrastructure for Go, see the web site and the incubator
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $100.00