Skip to content
View craigfe's full-sized avatar
210 followers · 85 following

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor

Highlights

Organizations

@mirage @monzo @ocurrent

Block or report craigfe

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@tarides
Tarides tarides
Building Functional Systems

France

@bikallem
Bikal Gurung bikallem

Reading, UK

@benmandrew
Ben Andrew benmandrew
PhD Researcher // Ex-Software Engineer

University of Manchester United Kingdom

@tmcgilchrist
Tim McGilchrist tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.

@tarides Sydney, Australia

@reynir
Reynir Björnsson reynir

@robur-coop Denmark

@Ngoguey42
ngoguey Ngoguey42

Paris, France

@backtracking
Jean-Christophe Filliatre backtracking
@gs0510
Gargi Sharma gs0510

@vercel

@diwangislucky
diwangislucky
Monkey.

@cmuscs Pittsburgh, PA

@pitag-ha
Sonja Heinze pitag-ha

Tarides Valencia

@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Empirical Software Engineering. Studies how open source contributors collaborate. @rocq-prover maintainer. @NixOS user and contributor.

Télécom Paris Paris

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@garrigue
Jacques Garrigue garrigue

Nagoya University Japan

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@aalekseyev
Arseniy Alekseyev aalekseyev
@stedolan
Stephen Dolan stedolan
@vbmithr
Vincent Bernardoff vbmithr

DeepMarker ꙮ

@trefis
Thomas Refis trefis

France

@emillon
Etienne Millon emillon

Paris

@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro Paris, France

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

@tarides Copenhagen, Northern Zealand

@yomimono
yomimono yomimono

Netherlands

@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@hcarty
Hezekiah M. Carty hcarty
@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@gasche
Gabriel Scherer gasche
@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@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.

https://ahrefs.com/ washington DC

@kit-ty-kate
Kate kit-ty-kate
Contractor working on opam (OCaml Package Manager) and making the OCaml ecosystem ready for new versions of the compiler.

@ahrefs @ocaml-sf Glasgow, Scotland

@aantron
Anton Bachin aantron

Eudaimonia

@talex5
Thomas Leonard talex5
@smondet
Seb Mondet smondet

New York, NY

@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL

@lpw25
Leo White lpw25

Jane Street

@thufschmitt
Théophane Hufschmitt thufschmitt
@jonludlam
Jon Ludlam jonludlam

@tarides Cambridge, UK

@dra27
David Allsopp dra27
@ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list

@janestreet Cambridge, UK

@MagnusS
Magnus Skjegstad MagnusS

University of Oslo Oslo, Norway

@AltGr
Louis Gesbert AltGr

Inria Paris

@verbosemode
Jochen Bartl verbosemode
Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR Slowly moving my personal stuff over to Codeberg

Somewhere near Augsburg, Germany

@cfcs
C For C's Sake cfcs
🐫

#nolibc movement

@olleolleolle
Olle Jonsson olleolleolle

Auctionet ✨ sunny Malmö in Sweden

@mrkkrp
Mark Karpov mrkkrp
Software engineer at @tweag

@tweag Château-Thierry, France

@sabine
sabine sabine
When I don't go down rabbit holes, I might do useful things.

Saarbruecken, Germany

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@abbysmal
Abi abbysmal
Meh
@Julow
Jules Aguillon Julow

@tarides France

@gpetiot
Guillaume Petiot gpetiot

United Kingdom

@dinosaure
Calascibetta Romain dinosaure

Around the world ...