git.iko.soy/Idris-dev
on f80809a help sign in
Idris-dev/CONTRIBUTORS
229 lines 3.3 kB history raw
1Thanks to the following for their help and contributions:
3a3gis
4Aaron Craelius
5Adam Sandberg Eriksson
6Adam Schønemann
7Adolfo Ochagavía
8Ahmad Salim Al-Sibahi
9Aistis Raulinaitis
10Alex Feldman-Crough
11Alex S. Queiroz e Silva
12Alexander Berntsen
13Alexander Shabalin
14Alyssa Carter
15Andreas Bogk
16Andreas Reuleaux
17Andrei Dziahel
18Andrew Cann
19Andrew Stewart Gibson
20Andy Morris
21Anthony Cantor
22Anthony---faineance
23Apostolis Xekoukoulotakis
24Athan Clark
25Bartosz Przygoda
26Ben Gamari
27Ben Sherman
28ben-schulz
29Benjamin Hodgson
30Benjamin Saunders
31Björn Aili
32bmastenbrook
33Brent Yorgey
34Brian Koropoff
35Brian McKenna
36Bryn Keller
37Caleb Case
38Calvin Beck
39Carsten König
40Carter Charbonneau
41Casper M. H. Holmgreen
42cchantep
43Cezar Ionescu
44Chao-Hong Chen
45Chetan Taralekar
46Chris Allen
47Chris Gibbs
48Christopher Schwaab
49Cliff Harvey
50Cliff L. Biffle
51Colin Adams
52comco
53Craig McLaughlin
54cswords
55Daniel Waterworth
56Daniël Heres
57Darin Morrison
58David Feuer
59David Kraeutmann
60David Raymond Christiansen
61defanor
62Dennis Griffith
63Dirk Ullrich
64Dmitry Bushev
65Dmitry Tsygankov
66Dominic Mulligan
67Dominik Peteler
68Echo Nolan
69Eduard Nicodei
70Edward Amsden
71Edward O'Callaghan
72Edwin Brady
73Eric Casteleijn
74Eric Mertens
75Eric Walkingshaw
76Eric Weinstein
77Erkin Batu Altunbaş
78Ertugrul Söylemez
79EvanR
80Fabian Thorand
81fiendfan1
82Franklin Chen
83Frederic Koehler
84Friedrich von Never
85Gabe McArthur
86Gabor Greif
87Gabriel Garcia
88George Leontiev
89Gleb Alexeyev
90Google
91Greg Anderson
92Greg Pfeil
93Guglielmo Fachini
94Hannes Mehnert
95Heath Johns
96Heather
97Hector A. Escobedo IV
98identical snowflake
99Ignas Vyšniauskas
100Ilan Godik
101Imuli
102Irene Knapp
103Jack Henahan
104Jacob Mitchell
105Jakob Brünker
106Jan Bessai
107Jan de Muijnck-Hughes
108Jan Doms
109Jan Stolarek
110Jason Dagit
111Jason Felice
112Jason Gross
113Jean-Remi Desjardins
114Jeff Hemphill
115Jefferson Carpenter
116Jens Petersen
117Jeremy W. Sherman
118jhegedus42
119joe9
120Johannes Griebler
121John Connor
122John Dobronszki
123John Wiegley
124Jon Atack
125Jonas De Vuyst
126Jonas Westerlund
127Jonathan Sterling
128Joomy Korkut
129Jorge Acereda
130Joseph Huang
131Josh Vera
132JP Smith
133Juliusz Chroboczek
134Jurriën Stutterheim
135Jürgen Peters
136Karlos Kaeeikaas
137Kester Tong
138lambdadomain
139Langston Barrett
140Leif Warner
141Leon Schoorl
142Luke Palmer
143Mark Farrell
144Markus Klink
145Markus Pfeiffer
146Martin Baker
147Mathnerd314
148Mattias Lundell
149Matvey B. Aksenov
150Matúš Tejiščák
151Maxim Ivanov
152Mekeor Melire
153Melissa Mozifian
154Melvar Chen
155Michael A. Smith
156Michael Bernstein
157Michael Gilliland
158Michael Hensler
159Michael Maloney
160Michael McGirr
161Michael Morgan
162Michael Thompson
163Michael Weiss
164Miikka Koskinen
165Mitchell Rosen
166Miëtek Bak
167Mort Yao
168Nathan Dinsmore
169Nicola Botta
170Niklas Larsson
171Norbert Melzer
172Oskar Wickström
173Ozgur Akgun
174Patrick Hilhorst
175Patrik Jansson
176Paul Koerbitz
177Per Fredelius
178Peter Minten
179Philip Rasmussen
180PoroCYon
181raichoo
182Reynir Björnsson
183Ricky Elrod
184Robert Clipsham
185Robert Edström
186Ross Meikleham
187Rui Barreiro
188Ryan Scott
189Sam Elliott
190Sam T
191Saurabh Rawat
192Sean Hunt
193Sebastian de Bellefon
194Sebastian Dröge
195Seo Sanghyeon
196Sergei Trofimovich
197Shane Pearman
198Shea Levy
199Simon Fowler
200startling
201Stefan Bleibinhaus
202stepcut
203Stephen Drodge
204Steven Shaw
205Stuart Gale
206suhorng
207Sune Alkærsig
208Sven Koschnicke
209Taran Lynn
210tdidriksen
211Tenor Biel
212Thomas Cooper
213Thomas Scholtes
214Tim Dysinger
215Tim McGilchrist
216Timo Petteri Sinnemäki
217Tom Prince
218TorosFanny
219Trevor Elliott
220uwap
221Vitaly Bragilevsky
222Vyacheslav Shebanov
223xged
224XIE Yuheng
225Yacine Hmito
226Zack Grannan
227Zheng Jihui
228zjhmale
229Сухарик