Skip to content
View smorimoto's full-sized avatar
909 followers · 247 following

Sponsors

@Haritaso
@Naturalclar
@sadnessOjisan
@sasurau4
@kotatu0047
@angristan
@himanoa

Achievements

Achievement: QuickdrawAchievement: Starstruckx2Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx4Achievement: Galaxy BrainAchievement: Public Sponsor

Achievements

Achievement: QuickdrawAchievement: Starstruckx2Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx4Achievement: Galaxy BrainAchievement: Public Sponsor

Highlights

Organizations

@tc39 @ocaml @ocsigen @EpicGames @NVIDIAGameWorks @asdf-vm @tc39-transfer @asdf-community @fossa-contrib @hashicorp-contrib @pulumi-contrib

Block or report smorimoto

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
@ocaml-dune
Dune ocaml-dune
Components of the Dune build system
@Solo5
Solo5
A sandboxed execution environment for unikernels
@INRIA
Inria INRIA
National Institute for Research in Digital Science and Technology

France

@ocaml-community
OCaml Community ocaml-community
A collaborative, community-driven project for long-term maintenance of OCaml packages
@rescript-lang
ReScript rescript-lang
@ocsigen
Web and mobile development in OCaml ocsigen
@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@palainp
Pierre Alain palainp
@amirmc
Amir Chaudhry amirmc

@leantechnologies Cambridge, UK

@mor1
Richard Mortier mor1

University of Cambridge Cambridge, UK

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

University of Manchester

@puripuri2100
Kitano-Kaneko, Naoki puripuri2100
SATySFi/Rust

University of Tsukuba Ibaraki, Japan

@benbjohnson
Ben Johnson benbjohnson

Fly.io Colorado

@jvns
Julia Evans jvns
@Firobe
Virgile Robles Firobe

@tarides France

@mt-caret
mt_caret mt-caret
typing under the influence
@novemberkilo
Navin Keswani novemberkilo
Programmer, retreaded mathematician

@anamorphic-digital @CartesianSoftware Gadigal country, Sydney, Australia

@raphael-proust
Raphaël Proust raphael-proust
@mariusae
marius a. eriksen mariusae

bay area, california

@septs
septs septs
Senior Frontend Developer

@NiceLabs China

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

@elastic Artificial Wonderlands

@naomiiiiiiiii
Naomi Spargo naomiiiiiiiii

Arlington, VA

@tarides
Tarides tarides
Building Functional Systems

France

@geocaml
geocaml
A collection of geospatial and climate tools and libraries written in OCaml
@mirage
MirageOS mirage
@ocaml
OCaml ocaml
The OCaml functional programming language and system
@agarwal
Ashish Agarwal agarwal
OCaml + Biology

Solvuu New York City

@pmetzger
Perry E. Metzger pmetzger
Carbon-Based Life Form
@bikallem
Bikal Lem bikallem

@lemaetech Reading, UK

@OlivierNicole
Olivier Nicole OlivierNicole

Paris, France

@lthls
Vincent Laviron lthls

OCamlPro

@pqwy
dkm pqwy
@yasunariw
Yasunari Watanabe yasunariw

@ahrefs Singapore

@reynir
Reynir Björnsson reynir

@robur-coop Denmark

@Elarnon
Basile Clement Elarnon
@zacchiro
Stefano Zacchiroli zacchiro
Computer Science full professor at Télécom Paris, IP Paris. Co-founder & CTO @SoftwareHeritage. Previously: @Debian leader, @OpenSourceOrg board.

Télécom Paris, Polytechnic Institut of Paris Paris, France

@maiste
Etienne Marais maiste
Love open-source and sustainable development. Curious about the universe 🌳 Believe in the indie web and distributed architectures 🦉

@tarides

@jmid
Jan Midtgaard jmid
Your friendly neighborhood test case generator.

@tarides Denmark

@irmaTS
Irina irmaTS
@SyntaxPolice
Isaac Potoczny-Jones SyntaxPolice

Portland, OR

@n-osborne
Nicolas Osborne n-osborne
Software Engineer at Tarides. PhD in Philosophy. Hitchhiker of the Universe of Discourse.

@tarides Lille, France

@Leonidas-from-XIV
Marek Kubica Leonidas-from-XIV
Lost in Continuation

@tarides Copenhagen

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

UK

@gadmm
Guillaume Munch-Maccagnoni gadmm
Moved to GitLab

Inria Nantes, France

@east9698
Shotaro Higashi east9698

Fukuoka, Japan

@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro & Nomadic Paris, France

@zatkh
Zahra Tarkhani zatkh

@microsoft

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

@tarides Sydney, Australia