8000 craigfe (Craig Ferguson) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View craigfe's full-sized avatar
204 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.

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
@tarides
Tarides tarides
Building Functional Systems

France

@bikallem
Bikal Lem bikallem

@lemaetech Reading, UK

@benmandrew
Ben Andrew benmandrew
PhD Researcher at the University of Manchester

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 Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

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

Taridès Paris

@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

@yomimono
yomimono yomimono

Wisconsin, USA

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

Imandra (@imandra-ai) washington DC

@kit-ty-kate
Kate kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs -------- Autogestion à toute échelle, pain et liberté.

@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
Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list

University of Cambridge and @tarides Cambridge, UK

@MagnusS
Magnus Skjegstad MagnusS

University of Oslo Oslo, Norway

@AltGr
Louis Gesbert AltGr

Inria + OCamlPro 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
Abigael abbysmal

Datadog France

@Julow
Jules Aguillon Julow

@tarides France

@gpetiot
Guillaume Petiot gpetiot
Software engineer

United Kingdom

@dinosaure
Calascibetta Romain dinosaure

Around the world ...

0