logo FEDIDEVS

FEDIDEVS

17 awesome OCaml accounts on Mastodon that posted recently.

Recently posted ocaml OCaml
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted ▼ Less than a day ago
Posts 1,704
Followers 259
Following 870

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

I write a lot of ocaml for the ecosystem! ocaml_hug

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

Last posted ▼ 1 day ago
Posts 166
Followers 296
Following 955
Header Image

git log -p -- @xameer

> 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
> https://.sr.ht/~carnotweat/deltanix
, bits of
DP - shamelessly stolen from a an fp video i watched

Last posted ▼ 1 day ago
Posts 9,744
Followers 592
Following 189

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,648
Followers 553
Following 620
Header Image

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Last posted ▼ 1 day ago
Posts 540
Followers 48
Following 168
Header Image
Marcus Rohrmoser 🌻
@[email protected]

Rents out Linux laptops 💻 mro.name/laptop

Builds the social web 🚲 Seppo.mro.name with 🐫 @ocaml. Incubated 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.

Member of SIGCHI.org, CCC.de, FIfF.de, GI.de, NOYB.eu, Blaetter.de, ADFC.de.

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

.

Last posted ▼ 1 day ago
Posts 476
Followers 279
Following 478

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 ,

also languages like , , , , .

love , ,

I'm a , believer, and advocate

Let's create the web we want today. Se habla español.

Last posted ▼ 1 day ago
Posts 4,822
Followers 245
Following 254

Autistic.
Forbes 8 billion under 8 billion.
Former Youngest Person in the World.
Olympic Hopeful.

Last posted ▼ 2 days ago
Posts 259
Followers 80
Following 125
Header Image

I like:

Aspiring long distance

Last posted ▼ 2 days ago
Posts 2,642
Followers 180
Following 245
Header Image

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

Last posted ▼ 2 days ago
Posts 1,073
Followers 58
Following 264
Header Image

Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing.

Last posted ▼ 2 days ago
Posts 567
Followers 118
Following 222
Header Image
Edwin Török
@[email protected]

developer

Last posted ▼ 3 days ago
Posts 431
Followers 25
Following 51
Header Image
Jan Midtgaard
@[email protected]

Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Once won a gold fish in a pool tournament.

Last posted ▼ 3 days ago
Posts 80
Followers 66
Following 89
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 ▼ 3 days ago
Posts 983
Followers 315
Following 385
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 ▼ 4 days ago
Posts 1,139
Followers 255
Following 164
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 ▼ 5 days ago
Posts 18
Followers 14
Following 23
Header Image

Wesh gro bi1?

Last posted ▼ 6 days ago
Posts 409
Followers 241
Following 167