Skip to content
You must be logged in to sponsor go-air

Become a sponsor to go-air

@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

Get our first sponsor.

Meet the team

Learn more about sponsoring developers and organizations.

Report abuse

0% towards 1 monthly sponsor goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.

$100 a month

Select
  • Get a Sponsor badge on our profile

$500 a month

Select

Participate in our monthly planning.