logo FEDIDEVS

FEDIDEVS

29 awesome OCaml developers on Mastodon.

Human ocaml OCaml
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 ▼ 3
Following 390
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted 1 day ago
Posts 1,333
Followers ▼ 2
Following 798
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 ▼ 2
Following 53

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
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
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 ▼ 0
Following 358
Header Image

Software Engineer who lives in NYC. Spent 8 years using Go but I use OCaml now. Linux user since the last millennium (but also a Mac user since 2003). Vim user since 2000. Internet user since 1996. Coder since 1992.

Last posted 1 week ago
Posts 72
Followers ▼ 0
Following 56
Header Image

Cief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure and OCaml

Last posted 6 days ago
Posts 458
Followers ▼ 0
Following 150
Header Image

When I don't go down rabbit holes, I sometimes do something useful. OCaml.org maintainer.

Last posted 1 month ago
Posts 29
Followers ▼ 0
Following 10
Header Image
Jason P 🇺🇦
@[email protected]

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

github.com/jasonperry/

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

Occasional OCaml programmer, host of Signals and Threads podcast

Last posted 2 weeks ago
Posts 157
Followers ▼ 0
Following 91
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 4 months ago
Posts 1,032
Followers ▼ 0
Following 119
Header Image

Recent transplant from to the metro area. I'm a Software Engineer. My current Interests are in OCaml, network protocols, RPC systems, Observability and data platforms.

Last posted 4 weeks ago
Posts 195
Followers ▼ 0
Following 43
Header Image

Full-stack web developer. Mostly TypeScript on Node and React, but play with Rust, ReScript, and OCaml.

Last posted 1 month ago
Posts 29
Followers ▼ 0
Following 73
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 ▼ 0
Following 72
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
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 ▼ 0
Following 192
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