32 awesome OCaml accounts on Mastodon.
rini ☁️
@[email protected]i make cool stuff
#1 systemd/Linux fan · web developer in d̶e̶n̶i̶a̶l̶ a̶n̶g̶e̶r̶ b̶a̶r̶g̶a̶i̶n̶i̶n̶g̶ d̶e̶p̶r̶e̶s̶s̶i̶o̶n̶ acceptance · recovering Rust developer · also Haskell, OCaml & C99 nerd
ask me about higher-kinded type systems. you will not regret learning about type theory
follow requests okay!!
Anika 💜
Yaron Minsky
@[email protected]Occasional OCaml programmer, host of Signals and Threads podcast
HoldMyType
@[email protected]s='hello;'
echo "${s//;/\;}"
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
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.
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
Marcus Rohrmoser 🌻
@[email protected]Builds the social web 🚲 https://Seppo.Social with 🐫 @ocaml. Supported by https://NLnet.nl/project/Seppo. Makes things deemed impossible.
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.
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
dougfort
@[email protected]programmer.
Interested in augmentation
Ocaml
Haskell
Racket
arguil
@[email protected]Exilé de la recherche académique, touche-à-tout, gauchiste. J'aime aussi faire de la brioche. 🇫🇷 / 🇬🇧
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
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
Edwin Török
@[email protected]#OCaml developer
rye_borg
@[email protected]learning ocaml
music peaked at tally hall
powersleep
@[email protected]cat /dev/urandom | base64 | grep "WEED"
I use Python, bash, SQL; interested in OCaml, functional programming, lambda calculus.
Thomas Leonard
@[email protected]Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).
Marco
@[email protected]Cief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure and OCaml
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.)
Tony
@[email protected]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.