Skip to content
Snippets Groups Projects
Unverified Commit ec61b865 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

Update AUTHORS. [ci skip]

parent ec319369
No related branches found
No related tags found
No related merge requests found
......@@ -5,6 +5,11 @@
# Should be empty list: 'git shortlog -se | cut -f2 | cut -d'<' -f1 | uniq -d'.
Adam Langley <agl@imperialviolet.org>
Alex Biehl <alexbiehl@gmail.com>
Alex Biehl <alexbiehl@gmail.com> Alexander Biehl <abiehl@novomind.com>
Alex Biehl <alexbiehl@gmail.com> alexbiehl <alex.biehl@gmail.com>
Alex Washburn <github@recursion.ninja>
Alex Washburn <github@recursion.ninja> recursion-ninja <github@recursion.ninja>
Alistair Bailey <alistair@abayley.org> alistair <alistair@abayley.org>
Alson Kemp <alson@alsonkemp.com> alson <alson@alsonkemp.com>
Andres Löh <andres.loeh@gmail.com>
......@@ -44,6 +49,7 @@ Duncan Coutts <duncan@community.haskell.org> <duncan@haske
Duncan Coutts <duncan@community.haskell.org> <duncan@well-typed.com>
Duncan Coutts <duncan@community.haskell.org> unknown <unknown> # 04e9fcc80bc68b72126e33b20f08050df28e727d
Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@mit.edu>
Edward Z. Yang <ezyang@cs.stanford.edu> <ezyang@fb.com>
Einar Karttunen <ekarttun@cs.helsinki.fi>
Federico Mastellone <fmaste@users.noreply.github.com>
Francesco Gazzetta <francygazz@gmail.com> <fgaz@users.noreply.github.com>
......@@ -55,6 +61,8 @@ Gershom Bazerman <gershomb@gmail.com> U-CIQDEV\gbaz
Gershom Bazerman <gershomb@gmail.com> gbaz <gershomb@gmail.com>
Gleb Alexeev <gleb.alexeev@gmail.com>
Gleb Alexeev <gleb.alexeev@gmail.com> gleb.alexeev <gleb.alexeev@gmail.com>
Gleb Popov <6yearold@gmail.com>
Gleb Popov <6yearold@gmail.com> arrowd <6yearold@gmail.com>
Gwern Branwen <gwern0@gmail.com> gwern0 <gwern0@gmail.com>
Heather <heather@live.ru> <Heather@cynede.net>
Heather <heather@live.ru> <Heather@users.noreply.github.com>
......@@ -80,8 +88,10 @@ Joel Stanley <intractable@gmail.com>
Joeri van Eekelen <tchakkazulu@gmail.com>
John D. Ramsdell <ramsdell@mitre.org>
John Dias <dias@eecs.harvard.edu> dias <dias@eecs.harvard.edu>
John Ericson <Ericson2314@yahoo.com>
John Ericson <Ericson2314@yahoo.com> <Ericson2314@Yahoo.con>
John Ericson <Ericson2314@yahoo.com> <jericson@galois.com>
John Ericson <Ericson2314@yahoo.com> <John.Ericson@Obsidian.Systems>
Josh Hoyt <josh.hoyt@galois.com>
Judah Jacobson <judah.jacobson@gmail.com>
Jürgen Nicklisch-Franken <jnf@arcor.de>
......@@ -93,13 +103,15 @@ Krasimir Angelov <kr.angelov@gmail.com> ka2_mail <ka2
Lennart Kolmodin <kolmodin@gmail.com> <kolmodin@dtek.chalmers.se>
Lennart Kolmodin <kolmodin@gmail.com> <kolmodin@gentoo.org>
Lennart Kolmodin <kolmodin@gmail.com> <kolmodin@google.com>
Lennart Spitzner <lsp@informatik.uni-kiel.de>
Lennart Spitzner <hexagoxel@hexagoxel.de>
Lennart Spitzner <hexagoxel@hexagoxel.de> <lsp@informatik.uni-kiel.de>
Malcolm Wallace <Malcolm.Wallace@me.com> Malcolm.Wallace <Malcolm.Wallace@cs.york.ac.uk>
Mark Weber <marco-oweber@gmx.de> marco-oweber <marco-oweber@gmx.de>
Martin Sjögren <msjogren@gmail.com> md9ms <md9ms@mdstud.chalmers.se>
Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <c05mgv@cs.umu.se>
Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <mikhail@scrive.com>
Mikhail Glushenkov <mikhail.glushenkov@gmail.com> <the.dead.shall.rise@gmail.com>
Nathan Conroy <nathanconroydev@gmail.com>
Neil Mitchell <ndmitchell@gmail.com> Neil Mitchell <unknown>
Niklas Broberg <niklas.broberg@gmail.com> <d00nibro@chalmers.se>
Niklas Broberg <niklas.broberg@gmail.com> <git@nand.wakku.to>
......@@ -122,7 +134,15 @@ Simon Peyton Jones <simonpj@microsoft.com> simonpj <simo
Stephen Blackheath <stephen.blackheath@ipwnstudios.com> <grossly.sensitive.stephen@blacksapphire.com>
Stephen Blackheath <stephen.blackheath@ipwnstudios.com> <oversensitive.pastors.stephen@blacksapphire.com>
Stephen Blackheath <stephen.blackheath@ipwnstudios.com> rubbernecking.trumpet.stephen <rubbernecking.trumpet.stephen@blacksapphire.com>
Suzumiya <suzumiyasmith@gmail.com> # Goes by that name online
Sven Panne <sven.panne@aedion.de>
Tamar Christina <tamar@zhox.com>
Tamar Christina <tamar@zhox.com> <Mistuke@users.noreply.github.com>
Thomas M. DuBuisson <thomas.dubuisson@gmail.com>
Thomas M. DuBuisson <thomas.dubuisson@gmail.com> Thomas M. DuBuisson <tommd@galois.com>
Thomas Schilling <nominolo@gmail.com> <nominolo@googlemail.com>
Thomas Tuegel <ttuegel@gmail.com>
Thomas Tuegel <ttuegel@gmail.com> <ttuegel@mailbox.org>
Thomas Tuegel <ttuegel@gmail.com> <ttuegel@secure.mailbox.org>
capsjac <capsjac@gmail.com> # Goes by that name online
vedksah <31156362+vedksah@users.noreply.github.com> # Goes by that name online
......@@ -6,7 +6,11 @@ Adam Langley <agl@imperialviolet.org>
Adam Sandberg Eriksson <adam@sandbergericsson.se>
Alan Zimmerman <alan.zimm@gmail.com>
Albert Krewinkel <tarleb@moltkeplatz.de>
Alec Theriault <alec.theriault@gmail.com>
Alex Biehl <alexbiehl@gmail.com>
Alex Hirsch <w4rh4wk@bluephoenix.at>
Alex Lang <me@alang.ca>
Alex Washburn <github@recursion.ninja>
Alexander Kjeldaas <alexander.kjeldaas@gmail.com>
Alexander Vershilov <alexander.vershilov@gmail.com>
Alexei Pastuchov <alexei.pastuchov@telecolumbus.de>
......@@ -50,6 +54,7 @@ Brian Smith <brianlsmith@gmail.com>
Bryan O'Sullivan <bos@serpentine.com>
Bryan Richter <bryan.richter@gmail.com>
Carter Tazio Schonwald <carter.schonwald@gmail.com>
Chang Yang Jiao <jiaochangyang@gmail.com>
Chris Allen <cma@bitemyapp.com>
Chris Wong <lambda.fairy@gmail.com>
Christiaan Baaij <christiaan.baaij@gmail.com>
......@@ -65,6 +70,7 @@ Daniel Trstenjak <daniel.trstenjak@gmail.com>
Daniel Velkov <norcobg@gmail.com>
Daniel Wagner <daniel@wagner-home.com>
Danny Navarro <j@dannynavarro.net>
Dave Laing <dave.laing.80@gmail.com>
David Feuer <David.Feuer@gmail.com>
David Fox <dsf@seereason.com>
David Himmelstrup <lemmih@gmail.com>
......@@ -96,6 +102,7 @@ Eyal Lotem <eyal.lotem@gmail.com>
Fabián Orccón <fabian.orccon@pucp.pe>
Federico Mastellone <fmaste@users.noreply.github.com>
Florian Hartwig <florian.j.hartwig@gmail.com>
Francesco Ariis <fa-ml@ariis.it>
Francesco Gazzetta <francygazz@gmail.com>
Franz Thoma <franz.thoma@tngtech.com>
Fujimura Daisuke <me@fujimuradaisuke.com>
......@@ -103,9 +110,11 @@ Gabor Greif <ggreif@gmail.com>
Gabor Pali <pali.gabor@gmail.com>
Ganesh Sittampalam <ganesh.sittampalam@credit-suisse.com>
Geoff Nixon <geoff-codes@users.noreply.github.com>
George Wilson <george@wils.online>
Gershom Bazerman <gershomb@gmail.com>
Getty Ritter <gdritter@galois.com>
Gleb Alexeev <gleb.alexeev@gmail.com>
Gleb Popov <6yearold@gmail.com>
Gregory Collins <greg@gregorycollins.net>
Gwern Branwen <gwern0@gmail.com>
Haisheng.Wu <freizl@gmail.com>
......@@ -156,12 +165,14 @@ Jürgen Nicklisch-Franken <jnf@arcor.de>
Karel Gardas <karel.gardas@centrum.cz>
Keegan McAllister <mcallister.keegan@gmail.com>
Ken Bateman <novadenizen@gmail.com>
Ken Micklas <kmicklas@gmail.com>
Keshav Kini <kkini@galois.com>
Kido Takahiro <shelarcy@gmail.com>
Krasimir Angelov <kr.angelov@gmail.com>
Kristen Kozak <grayjay@wordroute.com>
Lennart Kolmodin <kolmodin@gmail.com>
Lennart Spitzner <lsp@informatik.uni-kiel.de>
Lennart Spitzner <hexagoxel@hexagoxel.de>
Leon Isenberg <ljli@users.noreply.github.com>
Leonid Onokhov <sopvop@gmail.com>
Liyang HU <git@liyang.hu>
Luite Stegeman <stegeman@gmail.com>
......@@ -196,7 +207,9 @@ Misty De Meo <mistydemeo@gmail.com>
Miëtek Bak <mietek@bak.io>
Mohit Agarwal <mohit@sdf.org>
Moritz Angermann <moritz.angermann@gmail.com>
Moritz Drexl <mdrexl@fastmail.fm>
Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
Nathan Conroy <nathanconroydev@gmail.com>
Nathan Howell <nhowell@alphaheavy.com>
Neil Mitchell <ndmitchell@gmail.com>
Neil Vice <sardonicpresence@gmail.com>
......@@ -221,6 +234,7 @@ Peter Higley <phigley@gmail.com>
Peter Robinson <thaldyron@gmail.com>
Peter Selinger <selinger@mathstat.dal.ca>
Peter Simons <simons@cryp.to>
Peter Siska <siska.pe@gmail.com>
Peter Trško <peter.trsko@gmail.com>
Phil Ruffwind <rf@rufflewind.com>
Philipp Schumann <philipp.schumann@gmail.com>
......@@ -258,10 +272,14 @@ Simon Peyton Jones <simonpj@microsoft.com>
Spencer Janssen <sjanssen@cse.unl.edu>
Stephen Blackheath <stephen.blackheath@ipwnstudios.com>
Stuart Popejoy <spopejoy@panix.com>
Suzumiya <suzumiyasmith@gmail.com>
Sven Panne <sven.panne@aedion.de>
Sönke Hahn <shahn@joyridelabs.de>
Takano Akio <tak@anoak.io>
Takenobu Tani <takenobu.hs@gmail.com>
Tamar Christina <tamar@zhox.com>
Taru Karttunen <taruti@taruti.net>
Taylor Fausak <taylor.fausak@verizonwireless.com>
Thomas Dziedzic <gostrc@gmail.com>
Thomas M. DuBuisson <thomas.dubuisson@gmail.com>
Thomas Miedema <thomasmiedema@gmail.com>
......@@ -274,10 +292,13 @@ Tomas Vestelind <tomas.vestelind@gmail.com>
Toshio Ito <debug.ito@gmail.com>
Travis Cardwell <travis.cardwell@extellisys.com>
Tuncer Ayaz <tuncer.ayaz@gmail.com>
Vaibhav Sagar <vaibhavsagar@gmail.com>
Vincent Hanquez <vincent@snarc.org>
Vo Minh Thu <noteed@gmail.com>
Wojciech Danilo <wojtek.danilo@gmail.com>
Yitzchak Gale <gale@sefer.org>
Yuras Shumovich <shumovichy@gmail.com>
Yuriy Syrovetskiy <cblp@cblp.su>
capsjac <capsjac@gmail.com>
vedksah <31156362+vedksah@users.noreply.github.com>
Łukasz Dąbek <sznurek@gmail.com>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment