tarides.com
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
👤 Joined on 08 February 2024
Followers
Following
Total Posts
@tarides.bsky.social@tarides.bsky.social → @tarides.comLovely on the state of static analyzers on OCaml ecosystem. fantazio.eu/articles/sta...
Show PostFor any bleeding edge OxCaml users out there, I've published a fairly comprehensive update to the Claude marketplace skill for the recent minus39 (and intermediate releases); feedback welcome github.com/avsm/ocaml-c...
Show PostI 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
Show PostJane Street's Incremental library brings efficient recomputation to OCaml: update complex computations when inputs change, not recalculate from scratch. Perfect for reactive pipelines and spreadsheet-like logic.
Show PostMeta Garbage Collection: Using OCaml's GC to GC Rust https://lobste.rs/s/p3z0zw #rust #ml
Show Post