Agda
3,865
members12
groupsFind out what's happening in Agda Meetup groups around the world and start meeting up with the ones near you.
Largest Agda groups
- 1
Bay Area Haskell & Functional Programming Users Group
1,275 Haskellers | San Francisco, USA
Salar Rahmanian
Organized by Salar Rahmanian - 2
The Karlsruhe Functional Programmers Meetup Group
522 Members | Karlsruhe, Germany
DavidFarago
Organized by DavidFarago - 3
Buenos Aires Haskell Meetup
509 Haskellers | Buenos Aires, Argentina
Ezequiel Alvarez
Organized by Ezequiel Alvarez - 4
- 5
- 6
- 7
- 8
- 9
- 10
Newest Agda groups
Victoria Functional Programming Meetup Group
18 Members
Started Mar 4 in Victoria, Canada
Mina Protocol
314 Mina Community
Started Feb 9 in San Francisco, USA
Lambda Düsseldorf
132 Lambdas
Started Nov 24 in Düsseldorf, Germany
Paris Idris Group
52 Membres
Started Sep 12 in Paris, France
Functor fest!
162 Miembros
Started Nov 4 in Montevideo, Uruguay
Idris User Group Düsseldorf
47 Dragons
Started Oct 25 in Düsseldorf, Germany