logo FEDIDEVS

FEDIDEVS

29 awesome OCaml developers on Mastodon.

Human ocaml OCaml
Header Image

latinx immigrant 🇦🇷🇸🇪🏳️‍🌈🖖🏼 he/they • ex @spotify @klarna @walnutinc



I toot about:


🚀

💾 ( )


tho you'll also find 🫶🏼 stuff, 🧭 , 📸 , and 🎼 here too.

Last posted 1 week ago
Posts 1,028
Followers ▼ 25
Following 72
Header Image

Occasional OCaml programmer, host of Signals and Threads podcast

Last posted 2 weeks ago
Posts 157
Followers ▼ 15
Following 91
Header Image
Marcus Rohrmoser 🌻
@[email protected]

Builds the social web typewriter Seppo.Social with 🐫 @ocaml supported by NLnet.nl/project/Seppo.

Former JEE and iOS developer, past 🌳 tree planter. Occasional lightning talker mro.name/talks. Netizen since the mid 90ies. SIGCHI.org, CCC.de, FIfF.de, NOYB.eu, Blaetter.de.

Likes 😈 mro.name/FreeBSD-XFCE 🐁 and 🏔️ AlpineLinux.org.

.

Last posted 3 days ago
Posts 362
Followers ▼ 10
Following 390
Header Image
Felipe O. Carvalho
@[email protected]

SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎

Last posted 2 weeks ago
Posts 55
Followers ▼ 10
Following 300
Header Image
Thomas Leonard
@[email protected]

Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).

Last posted 6 days ago
Posts 69
Followers ▼ 7
Following 53
Header Image
Patrick Ferris
@[email protected]

PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml

Last posted 3 days ago
Posts 81
Followers ▼ 7
Following 67
jailandrade 🍉
@[email protected]

Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur

I'm interested in moving the web forward, so I read and share a lot about , , , , , , and ,

very interested in languages like , , , and .

love , ,

I'm a , believer, and advocate

Let's create the web we want today

Last posted 2 days ago
Posts 3,253
Followers ▼ 6
Following 192
Header Image
Jason P 🇺🇦
@[email protected]

Programming languages, compilers, , , , a little , some music

github.com/jasonperry/

Last posted 1 week ago
Posts 734
Followers ▼ 5
Following 155
Header Image

Développeur OCaml. J'aime les brioches et les blockchains. 🇫🇷 / 🇬🇧

Last posted 2 days ago
Posts 730
Followers ▼ 4
Following 196
Header Image

I like:

Aspiring long distance

Last posted 2 days ago
Posts 2,375
Followers ▼ 3
Following 230
Header Image
Marcello Seri
@[email protected]

Maths, lambdas and rock'n'roll. Mathematical physicists, assistant professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own

Last posted 2 days ago
Posts 804
Followers ▼ 2
Following 358

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of for the ecosystem!

DMs open; indexed on tootfinder.ch; other keywords:

Last posted 5 days ago
Posts 752
Followers ▼ 2
Following 962
Header Image

J'aime les , l', les , les , la et la
Je suis en M1 d'informatique à l'École normale supérieure (ENS Ulm)
Je code en , en et en
J'utilise , ou Windows avec

Last posted 4 weeks ago
Posts 205
Followers ▼ 0
Following 117

Computer Graphics & Programming Languages person.

I twoot about languages like C, C++, Rust, JS/TS, and OCaml.

I organize two online meetups: @graphicsmeetup and Programming Languages Virtual Meetup

he/him

Last posted 4 days ago
Posts 1,327
Followers ▼ 0
Following 593
Header Image

he/him, software engineer, tokyo

OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor

Last posted 2 weeks ago
Posts 25
Followers ▼ 0
Following 34
Header Image

learning ocaml
music peaked at tally hall

Last posted 3 weeks ago
Posts 21
Followers ▼ 0
Following 11
Header Image

cat /dev/urandom | base64 | grep "WEED"

I use Python, bash, SQL; interested in OCaml, functional programming, lambda calculus.

Last posted 3 days ago
Posts 72
Followers ▼ 0
Following 8
Header Image

Emacs fan, NetBSD and GNU/Linux user - openSUSE CentOS / Fedora - Floorp (Firefox) OcaML Lisp Ruby Nim PHP

I try to eat more vegetables and less meat. Trains enthusiast, fountainpen user

Last posted 2 days ago
Posts 13
Followers ▼ 0
Following 28
Header Image
Marshall Abrams
@[email protected]

Philosopher of science and occasional scientist. Mainly philosophy of evolutionary biology, philosophy of probability, implications of modeling and statistical inference in evolutionary biology. New book, Evolution and the Machinery of Chance, 2023. Sometimes I write biological or social science simulations to investigate or illustrate philosophical or other theoretical ideas in biology or anthropology. (Favorite languages: Clojure, Idris (learning), OCaml, Haskell, NetLogo, R.)

Last posted 6 months ago
Posts 1,722
Followers ▼ 0
Following 931
Header Image
Anton Kochkov
@[email protected]

Reverse engineer. Firmware dissector. Rizin&Cutter developer. GitHub influencer. Foreign languages fanatic. OCamler and Rustacean. Loves to C into the void.

Last posted 4 months ago
Posts 13
Followers ▼ 0
Following 18