Skip to content
View avsm's full-sized avatar
💭
never gonna git u up, never gona git u down, never gonna turn around and reset u
💭
never gonna git u up, never gona git u down, never gonna turn around and reset u
1.2k followers · 136 following

Sponsoring

@problame
@simulot
@stalwartlabs
@tmattio

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Highlights

Organizations

@mirage @horizon-institute @CTSRD-TESLA @ocaml @ocamllabs @realworldocaml @ocaml-attic @ocaml-bench @ocurrent

Block or report avsm

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 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
@shaneweisz
Shane Weisz shaneweisz

Cape Town, South Africa

@FrankFeng-23
Frank Feng FrankFeng-23
-> UESTC, B.Eng. -> University of Cambridge, PhD student

Cambridge, UK

@ucam-eo
Cambridge Centre for Earth Observation ucam-eo
Cambridge University and partner organisations are conducting research on the remote sensing of environmental change

United Kingdom

@ocaml
OCaml ocaml
The OCaml functional programming language and system
@quantifyearth
Quantify Earth quantifyearth
Quantifying environment data around the globe, by the Cambridge Conservation Initiative at the University of Cambridge.

United Kingdom

@swinersha
Tom Swinfield swinersha
Working on: Forest restoration Drones Ecological modelling

Cambridge Centre for Carbon Credits Cambridge

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

Saarbruecken, Germany

@GemmaG
Gemma Gordon GemmaG
@yomimono
yomimono yomimono

robur.coop Netherlands

@MagnusS
Magnus Skjegstad MagnusS

University of Oslo Oslo, Norway

@talex5
Thomas Leonard talex5
@georgeparisis
George Parisis georgeparisis

Department of Informatics, University of Sussex Brighton, UK

@yoriyuki
Yoriyuki Yamagata yoriyuki
@joe-trellick
Joe Trellick joe-trellick

London, UK

@dbuenzli
Daniel Bünzli dbuenzli
@lpw25
Leo White lpw25

Jane Street

@vincent-botbol
vbot vincent-botbol
@pictyeye
Olivier Levillain pictyeye

Télécom SudParis

@itszor
itszor
@rdicosmo
Roberto Di Cosmo rdicosmo

Software Heritage, Inria and University Paris Cité Paris

@alainfrisch
Alain Frisch alainfrisch

@LexiFi

@AltGr
Louis Gesbert AltGr

Inria + OCamlPro Paris

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@nacrooks
Natacha Crooks nacrooks
@bactrian
Bactrian the Double Humped Camel Bot bactrian
I am a bot that helps @avsm manage OCaml CI, among other things!
@mgrosvenor
Matthew P. Grosvenor mgrosvenor

Sydney, Australia

@nlathia
Neal Lathia nlathia

UK

@benozol
Benedikt Becker benozol

Chile

@astrada
Alessandro Strada astrada

Milan, Italy

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

@proof-ninja, Inc Chiba, Japan

@ICGog
Ionel Gog ICGog
Distributed systems researcher working on infrastructure for ML.

San Francisco

@andrenth
Andre Nathan andrenth

Brazil

@vouillon
Jérôme Vouillon vouillon
@heidihoward
Heidi Howard heidihoward
Researcher in distributed systems

@Microsoft Cambridge, UK

@gwd
George Dunlap gwd

Citrix Systems UK LTD Cambridge, UK

@jyh
Jason Hickey jyh

Google United States

@narseo
Narseo Vallina-Rodriguez narseo

ICSI Berkeley

@sriram-srinivasan
Sriram Srinivasan sriram-srinivasan

Berkeley, CA

@dfaggioli
Dario Faggioli dfaggioli
I've a background on embedded and real-time systems, but I've been working on virtualization for the last 6 years.

SUSE Empoli, Italy

@dns42
Daniel Stodden dns42
@blackswanburst
blackswanburst
Vuln4Casting, Solving Cyber Risk, Switches Get Stitches, Denial of Surface

@Concinnity-Risks

@chris838
Chris Harding chris838
@balrajsingh
Balraj Singh balrajsingh
@keirf
Keir Fraser keirf

Maidstone, UK

@jacobgorm
jacobgorm
@timdeegan
Tim Deegan timdeegan
@bmeurer
Benedikt Meurer bmeurer
@ChromeDevTools Tech Lead Previously @v8 and @nodejs.

@Google Munich

@rmcilroy
Ross McIlroy rmcilroy
V8 Mobile Team Lead
@ppaeps
Philip Paeps ppaeps

Hong Kong