logo FEDIDEVS

FEDIDEVS

36 awesome OCaml accounts on Mastodon.

ocaml OCaml
Header Image

developer

Last posted 3 days ago
Posts 434
Followers 26
Following ▼ 0

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

Last posted 4 days ago
Posts 266
Followers 80
Following ▼ 0
Header Image
Last posted 4 months ago
Posts 278
Followers 67
Following ▼ 0
Header Image
Jan Midtgaard
@jmid@types.pl

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 6 days ago
Posts 86
Followers 66
Following ▼ 0
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 4 months ago
Posts 220
Followers 62
Following ▼ 0
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 551
Followers 50
Following ▼ 0
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 2 months ago
Posts 76
Followers 8
Following ▼ 0
Header Image

Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…

Based on formal methods, developed mainly in OCaml.

This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

Last posted 4 months ago
Posts 18
Followers 66
Following ▼ 0
Header Image

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

Last posted 1 week ago
Posts 1,073
Followers 58
Following ▼ 0

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 week ago
Posts 1,649
Followers 552
Following ▼ 0

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 month ago
Posts 797
Followers 255
Following ▼ 0
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 570
Followers 118
Following ▼ 0

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,885
Followers 245
Following ▼ 0
Header Image

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

Last posted 2 days ago
Posts 102
Followers 71
Following ▼ 0
Header Image

Trying to decide who’s good and who’s just rich.
Tokyo
OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor

Last posted 5 months ago
Posts 27
Followers 23
Following ▼ 0
Header Image

Wesh gro bi1?

Last posted 3 days ago
Posts 413
Followers 241
Following ▼ -1