AG

Agda Github Community

See https://github.com/agda/organization/wiki for an overview of the repositories in this organization.

Joined September 2010

188 Followers

0 Following

AI Insights & Achievements

39/ 100

Avg 210.0 stars per repo.

Coding for 16 years.

188 followers.

Profile README

Agda 2

The official Agda logo

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

Public Repos

24

Total Stars

5040

Total Forks

1016

Public Gists

0

Top Languages

Based on primary language of repositories