logo FEDIDEVS

FEDIDEVS

30 awesome OCaml developers on Mastodon.

Human ocaml OCaml
Header Image

Occasional OCaml programmer, host of Signals and Threads podcast

Last posted 4 days ago
Posts 159
Followers ▼ 1,228
Following 91
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 ▼ 747
Following 931

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 2 days ago
Posts 1,346
Followers ▼ 500
Following 596
Header Image

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



I toot about:


🚀

💾 ( )


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

Last posted 2 weeks ago
Posts 1,040
Followers ▼ 417
Following 73
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 1 day ago
Posts 831
Followers ▼ 291
Following 362
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted Less than a day ago
Posts 1,168
Followers ▼ 244
Following 802

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 1 week ago
Posts 754
Followers ▼ 241
Following 962
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 3 weeks ago
Posts 70
Followers ▼ 230
Following 53
Header Image
Marcus Rohrmoser 🌻
@[email protected]

Builds the social web 🚲 Seppo.Social with 🐫 @ocaml. Supported by NLnet.nl/project/Seppo. Makes things deemed impossible.

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 1 day ago
Posts 360
Followers ▼ 222
Following 406
Header Image

I like:

Aspiring long distance

Last posted 1 day ago
Posts 2,416
Followers ▼ 167
Following 232
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 3 days ago
Posts 3,459
Followers ▼ 163
Following 201
Header Image
Felipe O. Carvalho
@[email protected]

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

Last posted 1 month ago
Posts 55
Followers ▼ 162
Following 300
Header Image

i make cool stuff

#1 systemd/Linux fan · web developer in d̶e̶n̶i̶a̶l̶ a̶n̶g̶e̶r̶ b̶a̶r̶g̶a̶i̶n̶i̶n̶g̶ d̶e̶p̶r̶e̶s̶s̶i̶o̶n̶ acceptance · recovering Rust developer · also Haskell, OCaml & C99 nerd
ask me about higher-kinded type systems. you will not regret learning about type theory

follow requests okay!!

Anika 💜

Last posted 1 day ago
Posts 1,793
Followers ▼ 121
Following 159
Header Image

Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing. Woke AF ♾️ 🏳️‍⚧️ 🏳️‍🌈

All Cats Are Beautiful

Last posted 1 day ago
Posts 537
Followers ▼ 120
Following 223
Header Image
Last posted 1 week ago
Posts 276
Followers ▼ 65
Following 115
Header Image

Programming Languages Researcher/PhD student at NUS/British Indian 3rd Generation Immigrant (TCK)

I'm 100% lost... ... :(

I also have an account at [email protected]!

Website: gopiandcode.uk
Gitlab: gitlab.com/gopiandcode
Github: github.com/gopiandcode

Last posted 5 months ago
Posts 1,032
Followers ▼ 63
Following 119
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 3 weeks ago
Posts 208
Followers ▼ 60
Following 117
Header Image
Patrick Ferris
@[email protected]

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

Last posted 1 week ago
Posts 84
Followers ▼ 59
Following 67
Header Image
Jason P 🇺🇦
@[email protected]

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

github.com/jasonperry/

Last posted 1 month ago
Posts 734
Followers ▼ 57
Following 155
Header Image

Exilé de la recherche académique, touche-à-tout, gauchiste. J'aime aussi faire de la brioche. 🇫🇷 / 🇬🇧

Last posted 1 day ago
Posts 797
Followers ▼ 51
Following 209