Skip to content
View dinosaure's full-sized avatar

Organizations

@mirage @ocamllabs @ocsigen @Cumulus @oklm-wsh

Block or report dinosaure

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
@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@mdales
Michael Dales mdales

University of Cambridge Cambridge, UK

@Que20
Kevin Que20

Paris, France

@thaliawoods
Thalia thaliawoods

Ada Tech School Paris

@xldenis
Xavier Denis xldenis
formal verification hacker
@RadioPotin
Dario Pinto RadioPotin
Graduated from 42Paris. Software & Systems Engineer at OCamlPro.

OCamlPro Paris

@Jezzatator
Jérémie P Jezzatator

Ada Tech School Paris

@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

@robur-coop
robur robur-coop
The robur collective
@zapashcanon
zapashcanon
∂ß∂ß

@OCamlPro Eldorado 54

@Dre-Drey
Audrey Doyen Dre-Drey
Software dev | PhD en Sciences de l'information & de la communication et anthropologie

FizzUp Paris

@whitequark
Catherine whitequark
the catgirl knows where it is at all times

UK

@Chris00
Christophe Troestler Chris00

Université de Mons Belgium

@fabbing
Fabrice fabbing

@tarides France

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

KaroshiBee UK

@AltGr
Louis Gesbert AltGr

Inria + OCamlPro Paris

@Drup
Gabriel Radanne Drup
CS Researcher. I complain about languages.

Inria Lyon

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

Docker Inc Cambridge

@mjambon
Martin Jambon mjambon
Automation enthusiast

Semgrep San Francisco Bay Area

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

@Psi-Prod France, Lyon

@ArtichOwO
ArtichautCosmique ArtichOwO
eheheh

Cactus Production Grenoble, France

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

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

@tarides Paris, France

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

@elastic Artificial Wonderlands

@linoscope
Lin Oshitani linoscope
Protocol Research and OCaml programming

Nethermind Tokyo

@maiste
Etienne Marais maiste
Love open-source and sustainable development. Curious about the universe 🌳 Believe in the indie web and distributed architectures 🦉

@tarides

@n-osborne
Nicolas Osborne n-osborne
Software Engineer at Tarides. PhD in Philosophy. Hitchhiker of the Universe of Discourse.

@tarides Lille, France

@voodoos
Ulysse voodoos
Tell us a little bit about yourself
@Leonidas-from-XIV
Marek Kubica Leonidas-from-XIV
Lost in Continuation

@tarides Copenhagen