1 Abhinav Gupta <mail@abhinavg.net>
2 Adam Bergmark <adam@bergmark.nl>
3 Adam C. Foltzer <acfoltzer@galois.com>
4 Adam Gundry <adam@well-typed.com>
5 Adam Langley <agl@imperialviolet.org>
6 Adam Sandberg Eriksson <adam@sandbergericsson.se>
7 Alan Zimmerman <alan.zimm@gmail.com>
8 Albert Krewinkel <tarleb@moltkeplatz.de>
9 Alec Theriault <alec.theriault@gmail.com>
10 Alex Biehl <alexbiehl@gmail.com>
11 Alex Hirsch <w4rh4wk@bluephoenix.at>
12 Alex Lang <me@alang.ca>
13 Alex Washburn <github@recursion.ninja>
14 Alexander Kjeldaas <alexander.kjeldaas@gmail.com>
15 Alexander Vershilov <alexander.vershilov@gmail.com>
16 Alexei Pastuchov <alexei.pastuchov@telecolumbus.de>
17 Alexis Williams <alexis@typedr.at>
18 Alistair Bailey <alistair@abayley.org>
19 Alson Kemp <alson@alsonkemp.com>
20 Amir Mohammad Saied <amirsaied@gmail.com>
21 Anders Kaseorg <andersk@mit.edu>
22 Andrea Vezzosi <sanzhiyan@gmail.com>
23 Andreas Klebinger <klebinger.andreas@gmx.at>
24 Andres Löh <andres.loeh@gmail.com>
25 Andrzej Rybczak <electricityispower@gmail.com>
26 Andrés Sicard-Ramírez <andres.sicard.ramirez@gmail.com>
27 Andy Craze <accraze@gmail.com>
28 Angus Lepper <angus.lepper@gmail.com>
29 Antoine Latter <aslatter@gmail.com>
30 Anton Dessiatov <anton.dessiatov@gmail.com>
31 Antonio Nikishaev <a@lelf.me>
32 Arian van Putten <aeroboy94@gmail.com>
33 Arun Tejasvi Chaganty <arunchaganty@gmail.com>
34 Atze Dijkstra <atze@cs.uu.nl>
35 Audrey Tang <audreyt@audreyt.org>
36 Auke Booij <auke@tulcod.com>
37 Austin Seipp <aseipp@pobox.com>
38 Bardur Arantsson <bardur@scientician.net>
39 Bartosz Nitka <bnitka@fb.com>
40 Bas van Dijk <v.dijk.bas@gmail.com>
41 Ben Armston <ben.armston@googlemail.com>
42 Ben Doyle <benjamin.peter.doyle@gmail.com>
43 Ben Gamari <ben@smart-cactus.org>
44 Ben Millwood <thebenmachine+git@gmail.com>
45 Benedikt Huber <benedikt.huber@gmail.com>
46 Benjamin Herr <ben@0x539.de>
47 Benno Fünfstück <benno.fuenfstueck@gmail.com>
48 Bertram Felgenhauer <int-e@gmx.de>
49 Björn Bringert <bjorn@bringert.net>
50 Björn Peemöller <bjp@informatik.uni-kiel.de>
51 Bob Ippolito <bob@redivi.com>
52 Bram Schuur <bramschuur@gmail.com>
53 Brendan Hay <brendan.g.hay@gmail.com>
54 Brent Yorgey <byorgey@gmail.com>
55 Brian Smith <brianlsmith@gmail.com>
56 Bryan O'Sullivan <bos@serpentine.com>
57 Bryan Richter <bryan.richter@gmail.com>
58 Carter Tazio Schonwald <carter.schonwald@gmail.com>
59 Chaitanya Koparkar <ckoparkar@gmail.com>
60 Chang Yang Jiao <jiaochangyang@gmail.com>
61 Chris Allen <cma@bitemyapp.com>
62 Chris Wong <lambda.fairy@gmail.com>
63 Christiaan Baaij <christiaan.baaij@gmail.com>
64 Clemens Fruhwirth <clemens@endorphin.org>
65 Clint Adams <clint@debian.org>
66 Colin Wahl <colin.t.wahl@gmail.com>
67 Conal Elliott <conal@conal.net>
68 Curtis Gagliardi <curtis@curtis.io>
69 Dan Burton <danburton.email@gmail.com>
70 Daniel Buckmaster <dan.buckmaster@gmail.com>
71 Daniel Díaz Carrete <daniel@bogusemailserver.com>
72 Daniel Gröber <dxld@darkboxed.org>
73 Daniel Trstenjak <daniel.trstenjak@gmail.com>
74 Daniel Velkov <norcobg@gmail.com>
75 Daniel Wagner <daniel@wagner-home.com>
76 Danny Navarro <j@dannynavarro.net>
77 Dave Laing <dave.laing.80@gmail.com>
78 David Feuer <David.Feuer@gmail.com>
79 David Fox <dsf@seereason.com>
80 David Himmelstrup <lemmih@gmail.com>
81 David Lazar <lazar6@illinois.edu>
82 David Luposchainsky <dluposchainsky@gmail.com>
83 David McFarland <corngood@gmail.com>
84 David Terei <davidterei@gmail.com>
85 David Waern <davve@dtek.chalmers.se>
86 Dennis Gosnell <cdep.illabout@gmail.com>
87 Dino Morelli <dino@ui3.info>
88 Dmitry Astapov <dastapov@gmail.com>
89 Dmitry Kovanikov <kovanikov@gmail.com>
90 Domen Kožar <domen@dev.si>
91 Dominic Steinitz <dominic@steinitz.org>
92 Don Stewart <dons00@gmail.com>
93 Doug Beardsley <mightybyte@gmail.com>
94 Douglas Wilson <douglas.wilson@gmail.com>
95 Duncan Coutts <duncan@community.haskell.org>
96 Echo Nolan <echo@echonolan.net>
97 Edsko de Vries <edsko@well-typed.com>
98 Edward Z. Yang <ezyang@cs.stanford.edu>
99 Einar Karttunen <ekarttun@cs.helsinki.fi>
100 Eric Kow <eric.kow@gmail.com>
101 Eric Seidel <gridaphobe@gmail.com>
102 Erik Hesselink <hesselink@gmail.com>
103 Erik Rantapaa <erantapaa@gmail.com>
104 Erik de Castro Lopo <erikd@mega-nerd.com>
105 Esa Ilari Vuokko <ei@vuokko.info>
106 Eugene Sukhodolin <eugene@sukhodolin.com>
107 Eyal Lotem <eyal.lotem@gmail.com>
108 Fabián Orccón <fabian.orccon@pucp.pe>
109 Federico Mastellone <fmaste@users.noreply.github.com>
110 Felix Yan <felixonmars@archlinux.org>
111 Florian Hartwig <florian.j.hartwig@gmail.com>
112 Francesco Ariis <fa-ml@ariis.it>
113 Francesco Gazzetta <fgaz@fgaz.me>
114 Franz Thoma <franz.thoma@tngtech.com>
115 Fujimura Daisuke <me@fujimuradaisuke.com>
116 Gabor Greif <ggreif@gmail.com>
117 Gabor Pali <pali.gabor@gmail.com>
118 Ganesh Sittampalam <ganesh.sittampalam@credit-suisse.com>
119 Geoff Nixon <geoff-codes@users.noreply.github.com>
120 George Wilson <george@wils.online>
121 Gershom Bazerman <gershomb@gmail.com>
122 Getty Ritter <gdritter@galois.com>
123 Gleb Alexeev <gleb.alexeev@gmail.com>
124 Gleb Popov <6yearold@gmail.com>
125 Gregory Collins <greg@gregorycollins.net>
126 Gwern Branwen <gwern0@gmail.com>
127 Haisheng.Wu <freizl@gmail.com>
128 Harry Garrood <harry@garrood.me>
129 Heather <heather@live.ru>
130 Henk-Jan van Tuyl <hjgtuyl@chello.nl>
131 Henning Günther <der_eq@freenet.de>
132 Henning Thielemann <lemming@henning-thielemann.de>
133 Herbert Valerio Riedel <hvr@gnu.org>
134 Iain Nicol <iain@iainnicol.com>
135 Ian D. Bollinger <ian.bollinger@gmail.com>
136 Ian Lynagh <igloo@earth.li>
137 Ian Ross <ian@skybluetrades.net>
138 Ilya Smelkov <triplepointfive@gmail.com>
139 Isaac Potoczny-Jones <ijones@syntaxpolice.org>
140 Isamu Mogi <saturday6c@gmail.com>
141 Iustin Pop <iusty@k1024.org>
142 Ivan Lazar Miljenovic <Ivan.Miljenovic@gmail.com>
143 Iñaki García Etxebarria <garetxe@gmail.com>
144 JP Moresmau <jp@moresmau.fr>
145 Jacco Krijnen <jaccokrijnen@gmail.com>
146 Jack Henahan <jhenahan@uvm.edu>
147 Jake Wheat <jakewheatmail@gmail.com>
148 Jan Path <jan@jpath.de>
149 Jason Dagit <dagitj@gmail.com>
150 Jean-Philippe Bernardy <jeanphilippe.bernardy@gmail.com>
151 Jens Petersen <juhpetersen@gmail.com>
152 Jeremy Shaw <jeremy.shaw@linspireinc.com>
153 Jim Burton <jim@sdf-eu.org>
154 Joachim Breitner <mail@joachim-breitner.de>
155 Joe Quinn <headprogrammingczar@gmail.com>
156 Joel Bitrauser <jo.da@posteo.de>
157 Joel Stanley <intractable@gmail.com>
158 Joeri van Eekelen <tchakkazulu@gmail.com>
159 Johan Tibell <johan.tibell@gmail.com>
160 John Chee <cheecheeo@gmail.com>
161 John D. Ramsdell <ramsdell@mitre.org>
162 John Dias <dias@eecs.harvard.edu>
163 John Ericson <Ericson2314@yahoo.com>
164 John Lato <jwlato@tsurucapital.com>
165 John Wiegley <johnw@fpcomplete.com>
166 Jonathan Daugherty <jtd@galois.com>
167 Jookia <166291@gmail.com>
168 Josef Svenningsson <josef.svenningsson@gmail.com>
169 Josh Hoyt <josh.hoyt@galois.com>
170 Josh Kalderimis <josh.kalderimis@gmail.com>
171 Judah Jacobson <judah.jacobson@gmail.com>
172 Jürgen Nicklisch-Franken <jnf@arcor.de>
173 Karel Gardas <karel.gardas@centrum.cz>
174 Keegan McAllister <mcallister.keegan@gmail.com>
175 Ken Bateman <novadenizen@gmail.com>
176 Ken Micklas <kmicklas@gmail.com>
177 Keshav Kini <kkini@galois.com>
178 Kido Takahiro <shelarcy@gmail.com>
179 Krasimir Angelov <kr.angelov@gmail.com>
180 Kristen Kozak <grayjay@wordroute.com>
181 Lennart Kolmodin <kolmodin@gmail.com>
182 Lennart Spitzner <hexagoxel@hexagoxel.de>
183 Leon Isenberg <ljli@users.noreply.github.com>
184 Leon Schoorl <l.m.schoorl@student.utwente.nl>
185 Leonid Onokhov <sopvop@gmail.com>
186 Li-yao Xia <lysxia@gmail.com>
187 Liyang HU <git@liyang.hu>
188 Luite Stegeman <stegeman@gmail.com>
189 Luke Iannini <lukexi@me.com>
190 M Farkas-Dyck <strake888@gmail.com>
191 Maciej Bielecki <maciej.bielecki@skubacz.pl>
192 Maciek Makowski <maciek.makowski@gmail.com>
193 Magnus Jonsson <magnus@smartelectronix.com>
194 Malcolm Wallace <Malcolm.Wallace@me.com>
195 Mark Lentczner <markl@glyphic.com>
196 Mark Weber <marco-oweber@gmx.de>
197 Markus Pfeiffer <markusp@mcs.st-andrews.ac.uk>
198 Martin Sjögren <msjogren@gmail.com>
199 Martin Vlk <martin@vlkk.cz>
200 Masahiro Yamauchi <sgt.yamauchi@gmail.com>
201 Mathieu Boespflug <mboes@tweag.net>
202 Matt Renaud <matt@m-renaud.com>
203 Matthew William Cox <matt@mattcox.ca>
204 Matthias Fischmann <mf@zerobuzz.net>
205 Matthias Kilian <kili@outback.escape.de>
206 Matthias Pronk <git@masida.nl>
207 Max Amanshauser <max@lambdalifting.org>
208 Max Bolingbroke <batterseapower@hotmail.com>
209 Maximilian Tagher <feedback.tagher@gmail.com>
210 Maxwell Swadling <maxwellswadling@gmail.com>
211 Merijn Verstraaten <merijn@inconsistent.nl>
212 Michael Sloan <mgsloan@gmail.com>
213 Michael Snoyman <michael@snoyman.com>
214 Michael Thompson <what_is_it_to_do_anything@yahoo.com>
215 Michael Tolly <miketolly@gmail.com>
216 Mike Craig <mcraig@groupon.com>
217 Mikhail Glushenkov <mikhail.glushenkov@gmail.com>
218 Misty De Meo <mistydemeo@gmail.com>
219 Miëtek Bak <mietek@bak.io>
220 Mohit Agarwal <mohit@sdf.org>
221 Moritz Angermann <moritz.angermann@gmail.com>
222 Moritz Drexl <mdrexl@fastmail.fm>
223 Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
224 Nathan Conroy <nathanconroydev@gmail.com>
225 Nathan Howell <nhowell@alphaheavy.com>
226 Neil Mitchell <ndmitchell@gmail.com>
227 Neil Vice <sardonicpresence@gmail.com>
228 Nick Alexander <ncalexan@uci.edu>
229 Nick Smallbone <nick.smallbone@gmail.com>
230 Nikita Karetnikov <nikita@karetnikov.org>
231 Niklas Broberg <niklas.broberg@gmail.com>
232 Niklas Hambüchen <mail@nh2.me>
233 Nikolai Obedin <dev@nkly.me>
234 Oleg Grenrus <oleg.grenrus@iki.fi>
235 Oleksandr Manzyuk <manzyuk@gmail.com>
236 Omar Mefire <omefire@gmail.com>
237 Owen Stephens <owen@owenstephens.co.uk>
238 Paolo Capriotti <p.capriotti@gmail.com>
239 Paolo G. Giarrusso <p.giarrusso@gmail.com>
240 Paolo Losi <paolo.losi@gmail.com>
241 Paolo Martini <paolo@nemail.it>
242 Patrick Chilton <chpatrick@gmail.com>
243 Patrick Premont <ppremont@cognimeta.com>
244 Patryk Zadarnowski <pat@jantar.org>
245 Pepe Iborra <mnislaih@gmail.com>
246 Peter Higley <phigley@gmail.com>
247 Peter Robinson <thaldyron@gmail.com>
248 Peter Selinger <selinger@mathstat.dal.ca>
249 Peter Simons <simons@cryp.to>
250 Peter Siska <siska.pe@gmail.com>
251 Peter Trommler <ptrommler@acm.org>
252 Peter Trško <peter.trsko@gmail.com>
253 Phil Ruffwind <rf@rufflewind.com>
254 Philipp Schumann <philipp.schumann@gmail.com>
255 Philipp Schuster <pschuster@uni-koblenz.de>
256 Pranit Bauva <pranit.bauva@gmail.com>
257 Prayag Verma <prayag.verma@gmail.com>
258 Randy Polen <randen@users.noreply.github.com>
259 Reid Barton <rwbarton@gmail.com>
260 Richard Eisenberg <eir@cis.upenn.edu>
261 Ricky Elrod <ricky@elrod.me>
262 Robert Collins <robertc@robertcollins.net>
263 Robert Henderson <rob@robjhen.com>
264 Roberto Zunino <zunrob@users.sf.net>
265 Robin Green <greenrd@greenrd.org>
266 Robin KAY <komadori@gekkou.co.uk>
267 Roman Cheplyaka <roma@ro-che.info>
268 Roman Kashitcyn <rkashitsyn@rkashitsyn.zrh.corp.google.com>
269 Ross Paterson <ross@soi.city.ac.uk>
270 Rudy Matela <rudy@matela.com.br>
271 Ryan Desfosses <ryan@desfo.org>
272 Ryan Mulligan <ryan@ryantm.com>
273 Ryan Newton <rrnewton@gmail.com>
274 Ryan Scott <ryan.gl.scott@gmail.com>
275 Ryan Trinkle <ryan.trinkle@gmail.com>
276 RyanGlScott <ryan.gl.scott@gmail.com>
277 Samuel Bronson <naesten@gmail.com>
278 Samuel Gélineau <gelisam+github@gmail.com>
279 Sergei Trofimovich <slyfox@community.haskell.org>
280 Sergey Vinokurov <serg.foo@gmail.com>
281 Sigbjorn Finne <sof@galois.com>
282 Simon Hengel <sol@typeful.net>
283 Simon Jakobi <simon.jakobi@gmail.com>
284 Simon Marlow <marlowsd@gmail.com>
285 Simon Meier <iridcode@gmail.com>
286 Simon Peyton Jones <simonpj@microsoft.com>
287 Spencer Janssen <sjanssen@cse.unl.edu>
288 Stephen Blackheath <stephen.blackheath@ipwnstudios.com>
289 Stuart Popejoy <spopejoy@panix.com>
290 Suzumiya <suzumiyasmith@gmail.com>
291 Sven Panne <sven.panne@aedion.de>
292 Sönke Hahn <shahn@joyridelabs.de>
293 Takano Akio <tak@anoak.io>
294 Takenobu Tani <takenobu.hs@gmail.com>
295 Tamar Christina <tamar@zhox.com>
296 Taru Karttunen <taruti@taruti.net>
297 Taylor Fausak <taylor.fausak@verizonwireless.com>
298 Thomas Dziedzic <gostrc@gmail.com>
299 Thomas M. DuBuisson <thomas.dubuisson@gmail.com>
300 Thomas Miedema <thomasmiedema@gmail.com>
301 Thomas Schilling <nominolo@gmail.com>
302 Thomas Tuegel <ttuegel@gmail.com>
303 Tillmann Rendel <rendel@informatik.uni-marburg.de>
304 Tim Chevalier <chevalier@alum.wellesley.edu>
305 Tim Humphries <tim.humphries@ambiata.com>
306 Tim McGilchrist <timmcgil@gmail.com>
307 Tomas Vestelind <tomas.vestelind@gmail.com>
308 Toshio Ito <debug.ito@gmail.com>
309 Travis Cardwell <travis.cardwell@extellisys.com>
310 Travis Whitaker <pi.boy.travis@gmail.com>
311 Tuncer Ayaz <tuncer.ayaz@gmail.com>
312 Vaibhav Sagar <vaibhavsagar@gmail.com>
313 Veronika Romashkina <vrom911@gmail.com>
314 Vincent Hanquez <vincent@snarc.org>
315 Vladislav Zavialov <vlad.z.4096@gmail.com>
316 Vo Minh Thu <noteed@gmail.com>
317 Wojciech Danilo <wojtek.danilo@gmail.com>
318 Yitzchak Gale <gale@sefer.org>
319 Yuras Shumovich <shumovichy@gmail.com>
320 Yuriy Syrovetskiy <cblp@cblp.su>
321 Zejun Wu <watashi@watashi.ws>
322 capsjac <capsjac@gmail.com>
323 ghthrowaway7 <41365123+ghthrowaway7@users.noreply.github.com>
324 quasicomputational <quasicomputational@gmail.com>
325 vedksah <31156362+vedksah@users.noreply.github.com>
326 Łukasz Dąbek <sznurek@gmail.com>