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