Skip to content
View arolle's full-sized avatar
12 followers · 6 following

Organizations

@BaseXdb @CakeML

Block or report arolle

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@Neustradamus
Neustradamus Neustradamus
@binghe
Chun Tian binghe
Common Lisp programmer and HOL proof engineer

Australian National University Canberra, Australia

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@winton
Winton Welsh winton

Los Angeles, CA

@quadam
quadam
@masyukun
Matthew Royal masyukun

MongoDB Sacramento, CA, USA

@15838028035
15838028035
@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@toxtli
Carlos Toxtli toxtli
PhD, Prof, Director of the Human-AI Empowerment Lab at Clemson University, Dad

Microsoft, Google, Amazon, Snapchat, GitHub, United Nations, Freelancer United States

@truongvuxuan
Vũ Xuân Trường truongvuxuan
@emchateau
Emmanuel Château-Dutier emchateau
franco-quebecois dher into digital art history and digital museology

Université de Montréal Montréal – Paris

@holu
Alexander Holupirek holu

BaseX GmbH Konstanz, Germany