31 awesome OCaml accounts on Mastodon.
dougfort
@[email protected]programmer.
Interested in augmentation
Ocaml
Haskell
Racket
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
Edwin Török
@[email protected]#OCaml developer
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
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
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
johnny
@[email protected]he/him, software engineer, tokyo
OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor
Thomas Leonard
@[email protected]Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).
Felipe O. Carvalho
@[email protected]SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎
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.
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
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml