31 awesome OCaml accounts on Mastodon.
Marco
@[email protected]Cief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure and OCaml
Sabine
@[email protected]When I don't go down rabbit holes, I sometimes do something useful. OCaml.org maintainer.
Yaron Minsky
@[email protected]Occasional OCaml programmer, host of Signals and Threads podcast
Kiran
@[email protected]Programming Languages Researcher/PhD student at NUS/British Indian 3rd Generation Immigrant (TCK)
I'm 100% lost... ... :(
I also have an account at [email protected]!
Website: https://gopiandcode.uk
Gitlab: https://gitlab.com/gopiandcode
Github: https://github.com/gopiandcode
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.
Scott Trinh
@[email protected]Full-stack web developer. Mostly TypeScript on Node and React, but play with Rust, ReScript, and OCaml.
Informatheux
@[email protected]J'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
johnny
@[email protected]he/him, software engineer, tokyo
OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor
Anurag Soni
@[email protected]Recent transplant from #boston to the #washingtondc metro area. I'm a Software Engineer. My current Interests are in OCaml, network protocols, RPC systems, Observability and data platforms.
Frama-C
@[email protected]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.
ELLIOTTCABLE
@[email protected]Queery {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