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

0% towards 1 monthly sponsor goal

Be the first to sponsor this goal!

Select a tier

$ one time

Choose a custom amount.