logo FEDIDEVS

FEDIDEVS

9 of the best OCaml accounts on Mastodon.

Best ocaml OCaml
Header Image

s='hello;'
echo "${s//;/\;}"

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

send messages , not metadata
> sr.ht/~carnotweat/deltanix
, bits of

Last posted Less than a day ago
Posts 8,446
Followers β–Ό 571
Following 168

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 1 day ago
Posts 1,543
Followers β–Ό 528
Following 608
Header Image
Marcello Seri
@[email protected]

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

Last posted 1 week ago
Posts 880
Followers β–Ό 299
Following 371
Header Image
Marcus Rohrmoser 🌻
@[email protected]

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

Rents out long life πŸ’» laptops: mro.name/laptop

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 413
Followers β–Ό 239
Following 437
Header Image
Xavier Van de Woestyne
@[email protected]

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

Last posted 1 week ago
Posts 1,056
Followers β–Ό 237
Following 149

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 1 day ago
Posts 3,804
Followers β–Ό 184
Following 215
Header Image

I like:

Aspiring long distance

Last posted 3 days ago
Posts 2,486
Followers β–Ό 170
Following 233
Header Image
Felipe O. Carvalho
@[email protected]

SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. πŸ‡§πŸ‡· β†’ πŸ‡ΈπŸ‡ͺ β†’ 🌎

Last posted 3 months ago
Posts 55
Followers β–Ό 163
Following 300
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 week ago
Posts 547
Followers β–Ό 119
Following 223