@go-air
Guthub

go-air

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    192
  • Global Org. Rank 41,301 (Top 14 %)
  • Registered over 3 years ago
  • Most used languages
    Go
         100.0 %
  • Location 🇫🇷 France
  • Country Total Rank 3,328
  • Country Ranking
    Go
         134

Top repositories

1

gini

A fast SAT solver
Go
147
star
2

reach

symbolic reachability checker
Go
22
star
3

dupi

A tool to find all duplicates in large sets of text documents.
Go
16
star
4

pal

pointer analysis library
Go
6
star
5

biblio

A bibliography of interesting works.
1
star