You must be logged in to sponsor go-air

Become a sponsor to go-air

go-air

France

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

@go-air's goal is to have 1 monthly sponsor

Get our first sponsor.

Meet the team

Scott Cotton scott-cotton
Phd, Gopher, Solver Hacker, and more

Learn more about sponsoring developers and organizations.

0% towards 1 monthly sponsor goal

Be the first to sponsor this goal!

Select a tier

Choose a custom amount.