Skip to content
View reynir's full-sized avatar

Organizations

@mirage @modubot @sorbusursina

Block or report reynir

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
@zapashcanon
zapashcanon
∂ß∂ß

@OCamlPro Eldorado 54

@oase-app
Oase oase-app
A platform for communities to communicate and coordinate.

Denmark

@clecat
Gwenaëlle Lecat clecat
@ocaml enthusiast and Breton independentist.

Rennes, FR

@dmmulroy
Dillon Mulroy dmmulroy
Software Engineer @vercel

@vercel Raleigh, NC

@mdales
Michael Dales mdales

University of Cambridge Cambridge, UK

@filipeom
filipeom
Programming languages enthusiast

@formalsec Lisbon, Portugal

@xvw
Xavier Van de Woestyne xvw
I am primarily interested in functional languages (and Types systems) and web developement.

@funkywork, @tarides Nantes

@elouafiqAli
Elouafiq Ali elouafiqAli
New Product Development

Meta Capital Settat, Morocco

@tykling
Thomas Steen Rasmussen tykling

@tyktech Udkants, Denmark

@gborough
Geoffrey Borough gborough
Open to work

Lexitree Melbourne Australia

@darrenldl
Darren Li darrenldl
I write bytes.

Sydney, Australia

@xhtmlboi
The <XHTMLBoy/> xhtmlboi
The funny thing about my "display name" is that it contrast when I contribute to serious projects, with the "display name" of other contributors. #lol

@funkywork

@lubegasimon
lubega simon lubegasimon
We only have now.

Kampala, Uganda.

@fabbing
Fabrice fabbing

@DataDog France

@wyn
wyn wyn
Software developer, ocaml currently. Previously python, dotnet, c++, Fortran.

KaroshiBee UK

@mjambon
Martin Jambon mjambon
Automation enthusiast

Semgrep San Francisco Bay Area

@MisterDA
Antonin Décimo MisterDA
↑↑↓↓←→←→BA

@tarides Paris, France

@Tim-ats-d
Tim ats Tim-ats-d

@Psi-Prod France, Lyon

@moazzammoriani
Moazzam Moriani moazzammoriani
Lambda the Ultimate

Karachi, Pakistan

@Pectojin
Rune Henriksen Pectojin
Infrastructure, Development, DevOps. Building anything in between.

Denmark

@djs55
David Scott djs55
Work for Docker, enthusiast of Unikernels, OCaml and Mirage hacker.

Docker Inc Cambridge

@sim642
Simmo Saan sim642
PhD student: static program analysis, programming languages

University of Tartu Estonia

@dinakajoy
Odinaka Joy dinakajoy
Software Engineer || Mentor

Nigeria

@haesbaert
Christiano Haesbaert haesbaert
I break software and then attempt to fix it.

@elastic Artificial Wonderlands

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL