logo FEDIDEVS

FEDIDEVS

Awesome OCaml accounts on Mastodon.

ocaml OCaml
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 months ago
Posts ▼ 0
Followers 289
Following 56

Postgraduate Computer Science student. Loves math and code. Obsessed with Linux, Rust, and FOSS in general.

When I’m not at my computer, I’m at some mountain or river. 🏔️

Last posted 3 months ago
Posts ▼ 0
Followers 55
Following 186
Header Image
Patrick Ferris
@[email protected]

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

Last posted 3 weeks ago
Posts ▼ 0
Followers 90
Following 89
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 1 month ago
Posts ▼ 0
Followers 18
Following 26
Header Image

Artisan-développeur de logiciels (), bricoleur (), jardinier.

Last posted 1 month ago
Posts ▼ 0
Followers 20
Following 92
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted 1 day ago
Posts ▼ -64
Followers 262
Following 922