-
Notifications
You must be signed in to change notification settings - Fork 69
/
CONTRIBUTORS.toml
244 lines (202 loc) · 5.77 KB
/
CONTRIBUTORS.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
# This file contains a table of contributors who helped create the library
#
# It exists to provide a translation table between `git log` output
# and an abstract "identity", which can have associated attributes
# such as a display name or a homepage.
#
# For more information, see CONTRIBUTING.md
[[contributors]]
displayName = "Egbert Rijke"
maintainer = true
extra = " (Lead developer)"
usernames = [ "Egbert Rijke" ]
homepage = "https://users.fmf.uni-lj.si/rijke/"
github = "EgbertRijke"
bio = '''
Egbert Rijke is a postdoctoral researcher at the University of Ljubljana. His
research is on homotopy type theory and general mathematics from a univalent
point of view.
'''
[[contributors]]
displayName = "Fredrik Bakke"
maintainer = true
usernames = [ "Fredrik Bakke" ]
homepage = "https://www.ntnu.edu/employees/fredrik.bakke"
github = "fredrik-bakke"
bio = '''
Fredrik is a PhD student at the Norwegian University of Science and Technology
in Trondheim. His research is on homotopy type theory and higher category theory.
'''
[[contributors]]
displayName = "Elisabeth Stenholm"
maintainer = true
usernames = [ "Elisabeth Stenholm", "Elisabeth Bonnevier" ]
homepage = "https://elisabeth.bonnevier.one"
github = "elisabethstenholm"
bio = '''
Elisabeth is a PhD student at the University of Bergen. Her research is on
homotopy type theory.
'''
[[contributors]]
displayName = "Jonathan Prieto-Cubides"
maintainer = true
usernames = [ "Jonathan Cubides", "Jonathan Prieto-Cubides" ]
homepage = "https://jonaprieto.github.io"
github = "jonaprieto"
bio = '''
Jonathan is a researcher and a compiler engineer at Heliax designing and
implementing the functional programming language Juvix. His PhD research is on
graph theory from a univalent point of view.
'''
[[contributors]]
displayName = "Vojtěch Štěpančík"
maintainer = true
usernames = [ "Vojtěch Štěpančík", "VojtechStep" ]
homepage = "https://vojtechstep.eu/"
github = "VojtechStep"
bio = '''
Vojtěch is a master\'s student at Charles University in Prague. His background
is in software engineering, and he\'s working on formalizing synthetic
homotopy theoretic topics for his thesis.
'''
[[contributors]]
displayName = "Eléonore Mangel"
usernames = [ "Eléonore Mangel", "EleonoreMangel", "Léo Mangel", "LeoMangel" ]
github = "EleonoreMangel"
[[contributors]]
displayName = "Bryan Lu"
usernames = [ "Bryan Lu" ]
github = "blu-bird"
[[contributors]]
displayName = "Raymond Baker"
usernames = [ "Raymond Baker" ]
github = "morphismz"
[[contributors]]
displayName = "Elif Uskuplu"
usernames = [ "ElifUskuplu" ]
github = "ElifUskuplu"
[[contributors]]
displayName = "Victor Blanchi"
usernames = [ "VictorBlanchi" ]
github = "VictorBlanchi"
[[contributors]]
displayName = "Fernando Chu"
usernames = [ "Fernando Chu", "fernando" ]
github = "FernandoChu"
[[contributors]]
displayName = "Ian Ray"
usernames = [ "IanRay11", "Ian Ray" ]
github = "IanRay11"
[[contributors]]
displayName = "Andreas Källberg"
usernames = [ "Andreas Källberg", "anka-213"]
github = "anka-213"
[[contributors]]
displayName = "malarbol"
usernames = [ "malarbol" ]
github = "malarbol"
[[contributors]]
displayName = "Amélia Liao"
usernames = [ "Amélia Liao", "Amélia" ]
github = "plt-amy"
[[contributors]]
displayName = "Ivan Kobe"
usernames = [ "ivankobe", "Ivan Kobe" ]
github = "ivankobe"
[[contributors]]
displayName = "Daniel Gratzer"
usernames = [ "daniel gratzer", "Daniel Gratzer" ]
github = "jozefg"
[[contributors]]
displayName = "Matej Jazbec"
usernames = [ "Matej Jazbec", "MatejJazbec" ]
github = "MatejJazbec"
[[contributors]]
displayName = "Maša Žaucer"
usernames = [ "masazaucer", "Masa Zaucer" ]
github = "masazaucer"
[[contributors]]
displayName = "Alice Laroche"
usernames = [ "Alice Laroche" ]
github = "Seiryn21"
[[contributors]]
displayName = "Julian KG"
usernames = [ "Julian KG" ]
[[contributors]]
displayName = "favonia"
usernames = [ "favonia" ]
github = "favonia"
[[contributors]]
displayName = "fernabnor"
usernames = [ "fernabnor" ]
[[contributors]]
displayName = "maybemabeline"
usernames = [ "maybemabeline" ]
github = "maybemabeline"
[[contributors]]
displayName = "Åsmund Kløvstad"
usernames = [ "Aqissiaq" ]
github = "Aqissiaq"
[[contributors]]
displayName = "Dylan Braithwaite"
usernames = [ "Dylan Braithwaite" ]
github = "dylanbraithwaite"
[[contributors]]
displayName = "Emily Riehl"
usernames = [ "Emily Riehl", "emilyriehl" ]
github = "emilyriehl"
[[contributors]]
displayName = "Erik Schnetter"
usernames = [ "Erik Schnetter" ]
github = "eschnett"
[[contributors]]
displayName = "Håkon Gylterud"
usernames = [ "Håkon Gylterud" ]
[[contributors]]
displayName = "Matthias Hutzler"
usernames = [ "Matthias Hutzler" ]
github = "MatthiasHu"
[[contributors]]
displayName = "Nathan van Doorn"
usernames = [ "Nathan van Doorn" ]
github = "Taneb"
[[contributors]]
displayName = "Pierre Cagne"
usernames = [ "Pierre Cagne" ]
github = "pierrecagne"
[[contributors]]
displayName = "Szumi Xie"
usernames = [ "Szumi Xie", "szumixie" ]
github = "szumixie"
[[contributors]]
displayName = "Tom de Jong"
usernames = [ "Tom de Jong" ]
github = "tomdjong"
[[contributors]]
displayName = "louismntnu"
usernames = [ "louismntnu" ]
github = "louismntnu"
[[contributors]]
displayName = "Andrej Bauer"
usernames = [ "Andrej Bauer" ]
github = "andrejbauer"
[[contributors]]
displayName = "Matej Petković"
usernames = [ "Matej Petković" ]
github = "Petkomat"
[[contributors]]
displayName = "Gregor Perčič"
usernames = [ "Gregor Perčič", "izak" ]
github = "GregorPercic"
[[contributors]]
displayName = "Alec Barreto"
usernames = [ "Alec Barreto" ]
github = "wrest64"
[[contributors]]
displayName = "Ulrik Buchholtz"
usernames = [ "Ulrik Buchholtz" ]
github = "UlrikBuchholtz"
[[contributors]]
displayName = "Garrett Figueroa"
usernames = [ "Garrett Figueroa", "djspacewhale" ]
github = "djspacewhale"