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