Skip to content
Meet other local people interested in Agda: share experiences, inspire and encourage each other! Join a Agda group.
3,697
members
11
groups
Join Agda groups
Related Topics:
MySQL
Perl
Ruby
Python
C#
ColdFusion
CSS
C#
LAMP
PostgreSQL

Largest Agda groups

1

Bay Area Haskell & Functional Programming User Group

1,381 Haskellers | San Francisco,
Photo of Bay Area Haskell & Functional Programming User GroupOrganized by Ron Efroni
2

The Karlsruhe Functional Programmers Meetup Group

560 Members | Karlsruhe,
Photo of The Karlsruhe Functional Programmers Meetup GroupOrganized by DavidFarago
3

Buenos Aires Haskell Meetup

496 Haskellers | Buenos Aires,
Photo of Buenos Aires Haskell MeetupOrganized by Ezequiel Alvarez
4

Lambda LA

324 Members | Los Angeles,
Photo of Lambda LAOrganized by Chris McKinlay
5

Sydney Type Theory

245 type theorists | Sydney,
Photo of Sydney Type TheoryOrganized by Mark Hopkins
6

Haskell DC

241 Haskellers | Arlington,
HDOrganized by James
7

Functor fest!

165 Miembros | Montevideo,
Photo of Functor fest!Organized by Germán Ferrari
8

Lambda Düsseldorf

126 Lambdas | Düsseldorf,
Photo of Lambda DüsseldorfOrganized by Jens Bendisposto
9

Victoria Functional Programming Meetup Group

55 Members | Victoria,
Photo of Victoria Functional Programming Meetup GroupOrganized by Byron
FP Victoria
10

Paris Idris Group

54 Membres | Paris,
Photo of Paris Idris GroupOrganized by Christophe Calvès
Show all
Newest Agda groups
Vancouver Functional Programming and Hikes
50 Members
Started Jan 1 in Vancouver, ca
Victoria Functional Programming Meetup Group
55 Members
Started Jan 1 in Victoria, ca
Lambda Düsseldorf
126 Lambdas
Started Jan 1 in Düsseldorf, de
Paris Idris Group
54 Membres
Started Jan 1 in Paris, fr
Functor fest!
165 Miembros
Started Jan 1 in Montevideo, uy
Lambda LA
324 Members
Started Jan 1 in Los Angeles, us