Agda

Largest Agda groups

• 1

  The Karlsruhe Functional Programmers Meetup Group

  467 Members | Karlsruhe, Germany

  DavidFarago

  Organized by DavidFarago

  DavidFarago

  Organized by DavidFarago
• 2

  Buenos Aires Haskell Meetup

  351 Haskellers | Buenos Aires, Argentina

  Ezequiel Alvarez

  Organized by Ezequiel Alvarez

  Ezequiel Alvarez

  Organized by Ezequiel Alvarez
• 3

  Lambda LA

  337 Members | Los Angeles, USA

  Chris McKinlay

  Organized by Chris McKinlay

  Chris McKinlay

  Organized by Chris McKinlay
• 4

  Sydney Type Theory

  246 type theorists | Sydney, Australia

  Mark Hopkins

  Organized by Mark Hopkins

  Mark Hopkins

  Organized by Mark Hopkins
• 5

  Coda Protocol

  234 Functional Programmers | San Francisco, USA

  Brad Cohn

  Organized by Brad Cohn

  Brad Cohn

  Organized by Brad Cohn
• 6

  Haskell DC

  192 Haskellers | Arlington, USA

  Arjun Comar

  Organized by Arjun Comar

  Arjun Comar

  Organized by Arjun Comar
• 7

  Functional Programming Graz

  179 Typists | Graz, Austria

  Benedikt Maderbacher

  Organized by Benedikt Maderbacher

  Benedikt Maderbacher

  Organized by Benedikt Maderbacher
• 8

  Heidelberg λ Meetup

  142 Members | Heidelberg, Germany

  Hans-Christian Esperer

  Organized by Hans-Christian Esperer

  Hans-Christian Esperer

  Organized by Hans-Christian Esperer
• 9

  Functor fest!

  137 Miembros | Montevideo, Uruguay

  Germán Ferrari

  Organized by Germán Ferrari

  Germán Ferrari

  Organized by Germán Ferrari
• 10

  Lambda Düsseldorf

  123 Lambdas | Düsseldorf, Germany

  Janxu

  Organized by Janxu

  Janxu

  Organized by Janxu