Skip to content
View patricoferris's full-sized avatar
🌳
🌳
177 followers · 66 following

Sponsoring

@organicmaps

Achievements

Achievement: Starstruckx2Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report patricoferris

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
@xvw
Xavier Van de Woestyne xvw
I'm working on the editor support for OCaml! I am primarily interested in functional languages (and Types systems), web developement and IDE services.

@tarides Nantes

@mgree
Michael Greenberg mgree

Stevens Institute of Technology New Jersey

@SIGPLAN
ACM Special Interest Group on Programming Languages SIGPLAN
@fn06
fn06
dig loc fn06.org
@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

@mlisaius
Madeline Lisaius mlisaius
PhD student at Cambridge; SSL + geo FMs for agriculture. Previously Rockefeller Foundation / Planet / National Geographic / Stanford

University of Cambridge Cambridge, UK

@claudiusFX
claudiusFX
@kentookura
Kento Okura kentookura
Working on forester.
@j0shmillar
Josh Millar j0shmillar

ICL

@cyrus-
Cyrus Omar cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist

University of Michigan Ann Arbor, MI

@robur-coop
robur robur-coop
The robur collective
@panglesd
Paul-Elliot Anglès d'Auriac panglesd
Add a bio
@quantifyearth
Quantify Earth quantifyearth
Quantifying environment data around the globe, by the Cambridge Conservation Initiative at the University of Cambridge.

United Kingdom

@leostera
Leo Ostera leostera

Prague, Czechia

@lindig
Christian Lindig lindig
Software Engineer at citrix.com. Previously: testfabrik.com, dagstuhl.de, st.cs.uni-sb.de, seas.harvard.edu

Citrix Cambridge, UK

@let-def
Frédéric Bour let-def
Chamelier (pas trop fou)

Tarides Earth

@dhsorens
Derek Sorensen dhsorens
protocol snarkification @ethereum

Ethereum Foundation

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

@janestreet Cambridge, UK

@Cjen1
Chris Jensen Cjen1
@ocaml-multicore
Multicore OCaml ocaml-multicore
@davesnx
David Sancho davesnx
Building the tools behind user interfaces @ahrefs

@ahrefs Barcelona

@geocaml
geocaml
A collection of geospatial and climate tools and libraries written in OCaml
@abbysmal
Abi abbysmal
Meh
@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@RyanGibb
Ryan Gibb RyanGibb

University of Cambridge Earth

@jmid
Jan Midtgaard jmid
Hacks on FP and property-based testing. Former academic. Private account, not representing my employer.

Denmark

@metanivek
Kevin Smith metanivek
CTO @brilliantorg · previously eng @tarides, CTO @goabstract · fka @kvnsmth

Brilliant Cincinnati

@pascutto
Clément Pascutto pascutto

Paris

@Julow
Jules Aguillon Julow

@tarides France

@tarides
Tarides tarides
Building Functional Systems

France

@mdales
Michael Dales mdales
Planetary Computing Fellow at the University of Cambridge, a computer scientist working alongside ecologists to tackle biodiversity and climate analysis

University of Cambridge Cambridge, UK

@yomimono
yomimono yomimono

Netherlands

@samoht
Thomas Gazagnaire samoht

@tarides Paris, FR

@haesbaert
Christiano Haesbaert haesbaert
I break software and then attempt to fix it.

@elastic Artificial Wonderlands

@art-w
art-w
@pitag-ha
Sonja Heinze pitag-ha

Tarides Valencia

@tmattio
Thibaut Mattio tmattio
Building @raven-ml. Former Director of Engineering @tarides, building developer experiences for the OCaml Platform.

New York

@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

@zshipko
zach zshipko

Los Angeles, CA

@reynir
Reynir Björnsson reynir

@robur-coop Denmark

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

Saarbruecken, Germany

@dinakajoy
Odinaka Joy dinakajoy
Software Engineer || Mentor

Nigeria

@jonludlam
Jon Ludlam jonludlam

@tarides Cambridge, UK

@n-osborne
Nicolas Osborne n-osborne
Software Engineer at Tarides.

@tarides

@anmonteiro
Antonio Nuno Monteiro anmonteiro

@recallai SF Bay Area, CA

@ulugbekna
Ulugbek Abdullaev ulugbekna
👋 I work on VS Code & GitHub Copilot Chat. Contributor to ocaml-lsp and OCaml Platform vscode extension

Zurich

@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

@talex5
Thomas Leonard talex5
@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL