36 awesome OCaml accounts on Mastodon.

Edwin Török
@edwintorok@discuss.systems#OCaml developer
Sean
@sean@dice.campAutistic.
Forbes 8 billion under 8 billion.
Former Youngest Person in the World.
Olympic Hopeful.
#Linux #FLOSS #Elixir #FSharp #JavaScript #TypeScript #React #WebDev #OCaml #Rust #LiveView #MutualAid #TTRPG
Seb Mondet
@smondet@framapiaf.orgJan Midtgaard
@jmid@types.plRecovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Once won a gold fish in a pool tournament.
Informatheux
@informatheux@piaille.frJ'aime les #Maths, l'#Informatique, les #JeuxVidéo #JeuxDeSociété, les #JeuxDeRôle, la #SF et la #Fantasy
Je suis en M1 d'informatique à l'École normale supérieure (ENS Ulm)
Je code en #Rust #RustLang, en #OCaml et en #Python
J'utilise #NixOS, ou Windows avec #WSL
Marco
@anarres@chaos.socialChief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna
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.
Frama-C
@frama_c@fosstodon.orgOpen-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.
arguil
@arguil@framapiaf.orgExilé de la recherche académique, touche-à-tout, gauchiste. J'aime aussi faire de la brioche. 🇫🇷 / 🇬🇧
Lesley Lai
@lesley@mastodon.gamedev.placeComputer 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
ELLIOTTCABLE
@elliottcable@kolektiva.socialQueery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝
I write a lot of #OCaml for the #JavaScript ecosystem!
DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming
Mr Least
@luskebux@oldbytes.spaceLikes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing.
jailandrade
@jailandrade@mastodon.socialSoftware 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 #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign,
also #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml, #elm.
I'm a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate
Let's create the web we want today. Se habla español.
Patrick Ferris
@patricoferris@mastodon.socialPhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml
johnny
@jcm@hachyderm.ioTrying to decide who’s good and who’s just rich. Tokyo OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor