Thomas Gazagnaire
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!
I have rewritten from scratch a CSS minifier/differ in pure OCaml, and it seems to be competitive with the best minifiers out there! gazagnaire.org/blog/2026-07... #ocaml #css #web
Thomas Gazagnaire :: Cascade: A Typed CSS Toolkit in OCaml
Porting Tailwind to OCaml needed a CSS parser. The parser grew a typed AST, and a structural diff and a minifier fell out of it. Cascade 1.0.0 is that toolkit, and it turns out to be competitive with ...
gazagnaire.org
Tailiwind with Node: here is tw, my port of Tailwind CSS v4 to OCaml! With a live demo of tailwind classes compilation running in the browser: gazagnaire.org/blog/2026-04...
Thomas Gazagnaire :: Tailwind Without Node
A pure OCaml implementation of Tailwind CSS v4, matching the reference binary byte for byte. Drops the Node dependency from my OCaml web stack, and the same library compiles the classes in your browse...
gazagnaire.org
Predicting satellite collisions in OCaml! The screening pipeline matches the TraCSS answer key, and the 3D globe runs in the browser via js_of_ocaml. gazagnaire.org/blog/2026-04... #space #OCaml
Thomas Gazagnaire :: Predicting Satellite Collisions in OCaml
Open test data for predicting satellite collisions. I built the full screening pipeline in OCaml, validated it against the answer key, and put a 3D globe in the browser.
gazagnaire.org
I've finally managed to write why I'm doing a bit more regularly. Hint: it took a while because I had first to rewrite the world in #OCaml ... gazagnaire.org/blog/2026-04...
Thomas Gazagnaire :: A CSS Engine in OCaml
A typed CSS parser covering Level 3 through 5, a structural diff tool, and an optimiser. With a live browser demo via js_of_ocaml.
gazagnaire.org
No, hiring isn't hard for #OCaml. The Blub paradox is real. I have 30 resumes in my Inbox. The hard part is saying no. terrateam.io/blog/is-ocam...
Just published a comprehensive guide to the OCaml programming language. Tried to go beyond the "what" and into the "why" – covering its foundational concepts, the fascinating case study of Jane Street, and its modern use in blockchain and security. Read more: 👉 tinyurl.com/yyrywrvb #Programming
What is OCaml? A Deep Dive into the High-Assurance Functional Programming Language
Blog com notícias sobre, Linux, Android, Segurança , etc
tinyurl.com
Very cool article! "Why I love OCaml" mccd.space/posts/ocaml-... (which is a much more concise and digestible version of my indigestible: xvw.lol/en/articles/...) #OCaml
Why I love OCaml
Personal blog of Marc Coquand.
mccd.space
We chose #OCaml for Stategraph because "move fast and break state" didn't sound like a great product strategy. stategraph.dev/blog/why-we-...
Why we chose OCaml to write Stategraph
OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.
stategraph.dev
FUN OCaml schedule is now live on the website, and I put the link to the scheduled YouTube live stream there as well! fun-ocaml.com#schedule
Fun OCaml 2025: Warsaw - September 15+16, 2025
Fun OCaml 2025 is a 2 days open source hacking event dedicated to OCaml enthusiasts and professionals around the globe! Let's get together for an exhilarating event packed with creativity, innovation,...
fun-ocaml.com
Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects! xvw.lol/en/articles/... I hope you find this interesting, and I welcome any feedback!
Why I chose OCaml as my primary language
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
xvw.lol
Looking forward to use this to improve the UX of using Irmin and MirageOS
Yaron Minsky@yminsky.bsky.social · last yr.We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries. It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list. inbox.vuxu.org/caml-list/10...
Join Thibaut Mattio at FUN OCaml 2025 for "Build Language Models with Raven"! 📅 Sep 15-16, Warsaw 🇵🇱 Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.
Fun with Include and Open in #OCaml to encode import schemas. A questionable use of the module language! xvw.lol/en/articles/...
OCaml, modules, and import schemes
Using the module system open and include statements to reproduce common import patterns from other languages
xvw.lol
A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here! dl.acm.org/doi/pdf/10.1...
Something I predict will happen soon is using LLMs to port large test suites from one language / framework to another. Imagine starting a graphics or networking project and having hundreds of thousands of test cases already implemented!
Been having much fun over at @eeg.cl.cam.ac.uk and @tarides.com helping Jane Street with this release. Here's the online release party (starring multicore-the-fluffy-camel, our beloved mascot). Blog post incoming soon, but in the meanwhile, enjoy browsing oxcaml.org
Yaron Minsky@yminsky.bsky.social · last yr.I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.
Upcoming events on local-first: • Local-first Conf Berlin, Germany, 26–28 May www.localfirstconf.com – for industry folks • Workshop on Theory and Practice of Decentralized and Local-First Software, Bergen, Norway, 3 July 2025.ecoop.org/home/plf-pla... – for academics (industry crossover welcome)
Local-First Conf 2025
Join us for the second edition of Local-First Conf. Connect with a rapidly-growing community in an intimate setting. Berlin 27th - 28th May 2025.
localfirstconf.com
👀 Oleg Kiselyov's compilers course in OCaml 👀 okmij.org/ftp/tagless-...
Compiler
The materials for the course on compilers: built incrementally and fully in tagless-final style
okmij.org
...and @dra27.uk successfully showed off the relocatable compiler to the core OCaml devs yesterday. It'll be awesomely useful to have this in the core toolchain when it comes to playing well with package managers. www.dra27.uk/blog/platfor...
OCaml Core Dev Meeting
OCaml Core Dev meeting at Inria yesterday. These are roughly biannual synchronous catchups which provide a chance to find out what others are up to, get feedback on any major ongoing work, and attempt...
dra27.uk
David Allsopp@dra27.uk · last yr.Initial idea - July 2019 Design proposal (before any code! 😇) - November 2019 Initial prototype - September 2021 Working prototype - September 2022 Candidate implementation - April 2025 #RAD 🫣
A great new talk from Chris Casinghino, about making OCaml a better language for performance engineering. youtu.be/g3qd4zpm1LA?...
Making OCaml Safe for Performance Engineering
YouTube video by Jane Street
youtu.be
The 2nd Programming for the Planet workshop will be hybrid and co-located with ICFP/SPLASH in October in Singapore! Our call for papers is out at conf.researchr.org/home/icfp-sp..., submission deadline 3rd July 2025.
PROPL 2025 - Programming for the Planet 2025 - ICFP/SPLASH 2025
There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification. Addressing these challenges requires, amongst other things, a ...
conf.researchr.org
Initial idea - July 2019 Design proposal (before any code! 😇) - November 2019 Initial prototype - September 2021 Working prototype - September 2022 Candidate implementation - April 2025 #RAD 🫣
Relocatable OCaml by dra27 · Pull Request #53 · ocaml/RFCs
Rendered version. The first proof-of-concept of this work was presented at OCaml Workshop 2022. The OCaml compiler distribution requires the Standard Library to be stored in a fixed location, speci...
github.com
We just released OpenInfraQuote (oiq), an open source cost estimation tool built with OCaml. It runs in CI, reads Terraform plans and state files, and gives cost estimates from the CLI. No servers. More docs soon. We love building real tools in OCaml. github.com/terrateamio/... #ocaml #terraform
GitHub - terrateamio/openinfraquote: Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files
Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files - terrateamio/openinfraquote
github.com
🐪 OpenInfraQuote (oiq) Malcolm just did a presentation on our new tool (oiq) from @terrateam.io for computing the cost of infrastructures. It's written in Ocaml and it's open source! github.com/terrateamio/...
Why are companies quietly using Elm, OCaml, and Haskell? Evan Czaplicki explores how typed functional languages offer competitive advantages to businesses like Jane Street & Standard Chartered, and how to evaluate their potential for your company.
A Decision Maker's Guide to Typed Functional Languages • Evan Czaplicki • GOTO 2024
This presentation was recorded at GOTO Copenhagen 2024. #GOTOcon #GOTOcphhttps://gotocph.comEvan Czaplicki - Creator and developer of Elm @EvanCzaplicki RESO...
youtu.be
Xavier van de Woystene presents on "Beyond the Basics of LSP: Advanced IDE services for OCaml" at #BOBkonf2025
