Skip to content
View dsheets's full-sized avatar
  • Cambridge, UK

Highlights

  • Pro

Organizations

@mirage @ocaml @ocamllabs @effuse

Block or report dsheets

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
@ivg
Ivan Gotovchits ivg

ForAllSecure, Inc Pittsburgh, PA

@msprotz
Jonathan Protzenko msprotz
This is my professional GitHub account to record my contributions with my @microsoft (MS) employee hat on. My open-source work is done with the @protz hat on

Microsoft Redmond, WA

@ruhatch
Ru Horlick ruhatch
I am a Computer Scientist and Environmental Activist. I want to put our technology in service of life!

UK

@mlin
Mike Lin mlin
Genome informatics R&D

Honolulu, HI, USA

@struktured
Carmelo Piccione struktured
Machine learning. Functional programming. Cryptocurrencies and Number theory.

Ardmore, PA

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

Inria Lyon

@justincormack
Justin Cormack justincormack
recently CTO at @docker

@docker Suffolk, UK

@artemkin
Stas artemkin
Developing ultra-low latency trading systems in modern C++ and more

Self-employed

@AltGr
Louis Gesbert AltGr

Inria + OCamlPro Paris

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

IIT Madras and Tarides Chennai, India

@cfcs
C For C's Sake cfcs
🐫

#nolibc movement

@aluuu
Aleksandr Dinu aluuu

Halfweg, the Netherlands

@pymander
Erik L. Arneson pymander
I develop software and I write.

Portland, OR

@masinter
Larry Masinter masinter
See https://LarryMasinter.net

@Interlisp

@dominicjprice
Dominic Price dominicjprice
Research Fellow at @horizon-institute and @Cobot-Maker-Space at the University of Nottingham, UK.

University of Nottingham Nottingham, UK

@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

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

@SCISemi UK

@PeterSewell
Peter Sewell PeterSewell

University of Cambridge UK

@tomjridge
Tom Ridge tomjridge
Ex-academic. Currently working as a programmer, particularly with OCaml, golang, Python, AWS. Interested in reliable systems.

UK

@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro Paris, France

@MagnusS
Magnus Skjegstad MagnusS

University of Oslo Oslo, Norway

@toroidal-code
Katherine Whitlock toroidal-code
Software developer, musician, writer, student.

New York

@aryx
Yoann Padioleau aryx
I like to code and do research on stuff to make it easier to code stuff

Perugia, Italy

@Chris00
Christophe Troestler Chris00

Université de Mons Belgium

@protz
Jonathan Protzenko protz
This is my personal account for personal projects. See @msprotz for my Microsoft (MS) contributions.

Paris

@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@NicolasT
Nicolas Trangez NicolasT
Cloud-native product builder, former Principal Architect @scality. #Haskell'ist, music-lover and startup-minded.

.be & .uk

@crowcroft
Jon Crowcroft crowcroft

University of Cambridge East Anglia

@nojb
Nicolás Ojeda Bär nojb

@LexiFi Paris, France

@amirmc
Amir Chaudhry amirmc

@leantechnologies Cambridge, UK