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

292

Followers

61

Following

56

Total Posts

📜 Kullanıcı Geçmişi

  • 08 Şub 2024, 16:41
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @tarides.bsky.social
  • 28 Kas 2024, 16:33
    ✏️ Kullanıcı adı değişti: @tarides.bsky.social → @tarides.com

🚫 Blokladığı Kullanıcılar

❤️ Beğendiği Gönderiler

Chukwuma
30 July 2026 12:57

Lovely on the state of static analyzers on OCaml ecosystem. fantazio.eu/articles/sta...

Show Post

For 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 Post

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

Show Post

Jane 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 Post

Meta Garbage Collection: Using OCaml's GC to GC Rust https://lobste.rs/s/p3z0zw #rust #ml

Show Post

Select language

Install App

Install App