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