Agda

2,418

members

Meetups

Find out what's happening in Agda Meetup groups around the world and start meeting up with the ones near you.

2,418

members

Meetups

Largest Agda Meetups

1 The Karlsruhe Functional Programmers Meetup Group 448 Members | Karlsruhe, Germany
Simon O.
Organized by Simon O.
Simon O.
Organized by Simon O.
2 Lambda LA 333 Members | Los Angeles, CA
Chris M.
Organized by Chris M.
Chris M.
Organized by Chris M.
3 Buenos Aires Haskell Meetup 300 Haskellers | Buenos Aires, Argentina
Ezequiel A.
Organized by Ezequiel A.
Ezequiel A.
Organized by Ezequiel A.
4 Sydney Type Theory 241 type theorists | Sydney, Australia
Mark H.
Organized by Mark H.
Mark H.
Organized by Mark H.
5 Haskell DC 190 Haskellers | Arlington, VA
Arjun C.
Organized by Arjun C.
Arjun C.
Organized by Arjun C.
6 Functional Programming Graz 159 Typists | Graz, Austria
Benedikt M.
Organized by Benedikt M.
Benedikt M.
Organized by Benedikt M.
7 Heidelberg λ Meetup 141 Members | Heidelberg, Germany
Hans-Christian E.
Organized by Hans-Christian E.
Hans-Christian E.
Organized by Hans-Christian E.
8 Functional Programming, Types, and Applied Cryptography 132 Functional Programmers | San Francisco, CA
Brad C.
Organized by Brad C.
Brad C.
Organized by Brad C.
9 Functor fest! 124 Miembros | Montevideo, Uruguay
Germán F.
Organized by Germán F.
Germán F.
Organized by Germán F.
10 Lambda Düsseldorf 119 Lambdas | Düsseldorf, Germany
Janxu
Organized by Janxu
Janxu
Organized by Janxu

Show all