git.iko.soy/Idris-dev
on aeb032a help sign in
Idris-dev/CONTRIBUTORS
227 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
129Joseph Huang
130Josh Vera
131JP Smith
132Juliusz Chroboczek
133Jurriën Stutterheim
134Jürgen Peters
135Karlos Kaeeikaas
136Kester Tong
137lambdadomain
138Langston Barrett
139Leif Warner
140Leon Schoorl
141Luke Palmer
142Mark Farrell
143Markus Klink
144Markus Pfeiffer
145Mathnerd314
146Mattias Lundell
147Matvey B. Aksenov
148Matúš Tejiščák
149Maxim Ivanov
150Mekeor Melire
151Melissa Mozifian
152Melvar Chen
153Michael A. Smith
154Michael Bernstein
155Michael Gilliland
156Michael Hensler
157Michael Maloney
158Michael McGirr
159Michael Morgan
160Michael Thompson
161Michael Weiss
162Miikka Koskinen
163Mitchell Rosen
164Miëtek Bak
165Mort Yao
166Nathan Dinsmore
167Nicola Botta
168Niklas Larsson
169Norbert Melzer
170Oskar Wickström
171Ozgur Akgun
172Patrick Hilhorst
173Patrik Jansson
174Paul Koerbitz
175Per Fredelius
176Peter Minten
177Philip Rasmussen
178PoroCYon
179raichoo
180Reynir Björnsson
181Ricky Elrod
182Robert Clipsham
183Robert Edström
184Ross Meikleham
185Rui Barreiro
186Ryan Scott
187Sam Elliott
188Sam T
189Saurabh Rawat
190Sean Hunt
191Sebastian de Bellefon
192Sebastian Dröge
193Seo Sanghyeon
194Sergei Trofimovich
195Shane Pearman
196Shea Levy
197Simon Fowler
198startling
199Stefan Bleibinhaus
200stepcut
201Stephen Drodge
202Steven Shaw
203Stuart Gale
204suhorng
205Sune Alkærsig
206Sven Koschnicke
207Taran Lynn
208tdidriksen
209Tenor Biel
210Thomas Cooper
211Thomas Scholtes
212Tim Dysinger
213Tim McGilchrist
214Timo Petteri Sinnemäki
215Tom Prince
216TorosFanny
217Trevor Elliott
218uwap
219Vitaly Bragilevsky
220Vyacheslav Shebanov
221xged
222XIE Yuheng
223Yacine Hmito
224Zack Grannan
225Zheng Jihui
226zjhmale
227Сухарик