Skip to content
View engboris's full-sized avatar
27 followers · 76 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report engboris

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
@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro & Nomadic Paris, France

@Ninjapouet
Julien Blond Ninjapouet
@fare
François-René Rideau fare
Cybernethics Houyhnhnm Computing https://ngnghm.github.io

Lair of the French Resistance

@zapashcanon
zapashcanon
∂ß∂ß

@OCamlPro Eldorado 54

@RadioPotin
Dario Pinto RadioPotin
Graduated from 42Paris. Software & Systems Engineer at OCamlPro.

OCamlPro Paris

@baptistecolin
Baptiste baptistecolin
hopefully i'll code my silly ideas someday.

Ab Initio Paris

@system76
System76 system76
System76 computers empower the world's curious and capable makers of tomorrow

Denver, CO

@manmatteo
Matteo Manighetti manmatteo

Inria France

@krtab
Arthur Carcano krtab
Flazingly bast

@OCamlPro @RedIron-by-OCamlPro Paris, France

@NeoKaios
Mateo NeoKaios
@epatrizio
Eric Patrizio epatrizio
R&D software engineer. Programming languages design enthusiast.

@sismicfr Paris - France

@seiller
Thomas Seiller seiller
CNRS researcher

CNRS Paris

@jeremyherve
Jérémy Hervé jeremyherve

Würth Elektronik eiSos Thorigné-Fouillard, France

@v-moreau
Vincent Moreau v-moreau
PhD student in CS @ IRIF

Paris, France

@LilyOlivier
Lily LilyOlivier
@xldenis
Xavier Denis xldenis
formal verification hacker
@Plank0
Plank0
@nberth
Nicolas Berthier nberth

OCamlPro Basel, Switzerland

@bclement-ocp
Basile Clément bclement-ocp

@OCamlPro Lyon

@noeensarguet
noeensarguet

OCamlPro

@ddeclerck
OCP David Declerck ddeclerck

OCamlPro Paris, France

@Keryan-dev
Keryan Didier Keryan-dev

OCamlPro

@emilienlemaire
Emilien Lemaire emilienlemaire
@GitMensch
Simon Sobisch GitMensch
at day being either at work or with my kids, hacking free software, especially GnuCOBOL - https://www.gnu.org/software/gnucobol

Germany

@lefessan
Fabrice Le Fessant lefessan

OCamlPro SAS Paris

@OCamlPro
OCamlPro OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10 years' experience in state-of-the-art developments.

Paris & Saclay

@dwarfmaster
Luc Chabassier dwarfmaster

Clearsy

@Champitoad
Pablo Donato Champitoad

Paris

@terezka
Tereza Sokol terezka

@elm Copenhagen | Cambridge

@evancz
Evan Czaplicki evancz
Designer/developer of @elm
@amblafont
Ambroise amblafont
Assistant professor at Ecole Polytechnique

Ecole Polytechnique Palaiseau

@signalapp
Signal signalapp

Everywhere and nowhere

@janestreet
Jane Street janestreet
@florentc
Florent C. florentc
@elm
Elm elm
Official organization for developing Elm's compiler and core tools
@pop-os
Pop!_OS pop-os
An Operating System by System76
@tweag
Tweag tweag
Software Innovation Lab
@mirage
MirageOS mirage
@GrapheneOS
GrapheneOS GrapheneOS
Security and privacy focused mobile OS with Android app compatibility. We focus on developing substantial privacy and security improvements.

Toronto, Ontario, Canada

@E-Sh4rk
Mickaël Laurent E-Sh4rk
Postdoc researcher at Charles University (Prague), working on type systems and dynamic programming languages.

France

@vasturiano
Vasco Asturiano vasturiano
Data sculptor

@cloudflare Lisbon, Portugal

@youqad
Younesse Kaddar youqad
CS PhD student at the University of Oxford.

University of Oxford Oxford, UK

@wujuihsuan2016
Wu Jui-Hsuan (Ray) wujuihsuan2016
PhD student at LIX, Ecole Polytechnique & INRIA
@olaure01
Olivier Laurent olaure01
@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@Deato-S
Deato-S
@dpiponi
Dan Piponi dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

@byronvanstien
Byron Vanstien byronvanstien
Computing & Information Systems Big fan of Python and I mess with some Go. Looking to get into Rust.

Great Britain

@hokolomopo
Adrien Minne hokolomopo
@yoshihiro503
YOSHIHIRO Imai yoshihiro503
CEO of proof ninja, Inc. Coq proof developer

@proof-ninja, Inc Chiba, Japan