30 awesome OCaml accounts on Mastodon.
![ocaml](/static/languages/ocaml.e23c2421a9a4.png)
Yaron Minsky
@[email protected]Occasional OCaml programmer, host of Signals and Threads podcast
Marshall Abrams
@[email protected]Philosopher of science and occasional scientist. Mainly philosophy of evolutionary biology, philosophy of probability, implications of modeling and statistical inference in evolutionary biology. New book, Evolution and the Machinery of Chance, 2023. Sometimes I write biological or social science simulations to investigate or illustrate philosophical or other theoretical ideas in biology or anthropology. (Favorite languages: Clojure, Idris (learning), OCaml, Haskell, NetLogo, R.)
HoldMyType
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
Lesley Lai
@[email protected]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
Leandro
@[email protected]latinx immigrant 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they • ex @spotify @klarna @walnutinc
I toot about:
🚀#buildinpublic #saas
💾 #devtools #buildsystems #compilers (#rust #ocaml #erlang #elixir #rescript #javascript )
tho you'll also find 🫶🏼 #personal stuff, 🧭 #digitalnomad, 📸 #photography, and 🎼 #music here too.
Marcello Seri
@[email protected]Maths, lambdas and rock'n'roll. Mathematical physicists, assistant professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own
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
dougfort
@[email protected]programmer.
Interested in augmentation
Ocaml
Haskell
Racket
Thomas Leonard
@[email protected]Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).
Marcus Rohrmoser 🌻
@[email protected]Builds the social web typewriter https://Seppo.Social with 🐫 @ocaml supported by https://NLnet.nl/project/Seppo.
Former JEE and iOS developer, past 🌳 tree planter. Occasional lightning talker https://mro.name/talks. Netizen since the mid 90ies. https://SIGCHI.org, https://CCC.de, https://FIfF.de, https://NOYB.eu, https://Blaetter.de.
Likes 😈 https://mro.name/FreeBSD-XFCE 🐁 and 🏔️ https://AlpineLinux.org.
Felipe O. Carvalho
@[email protected]SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎
jailandrade
@[email protected]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 #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign,
very interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml and #elm.
I'm a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate
Let's create the web we want today
Mr Least
@[email protected]Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing. Woke AF ♾️ 🏳️⚧️ 🏳️🌈
All Cats Are Beautiful
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
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
Patrick Ferris
@[email protected]PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml
Jason P 🇺🇦
@[email protected]Programming languages, compilers, #emacs, #ocaml, #linux, a little #retrocomputing, some music
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.
arguil
@[email protected]Développeur OCaml. J'aime les brioches et les blockchains. 🇫🇷 / 🇬🇧