Partnering for more diversity in Tech
Tarides is very glad to announce our partnership with Ada Tech School. Founded in 2019 and based in Paris (France), Ada Tech School, named…
→ Read more
Recent and upcoming changes to Merlin
Merlin is a language server for the OCaml programming language; that is, a daemon that connects to your favourite text editor and provides…
→ Read more
Tarides sponsors the Oxbridge Women in Computer Science Conference 2020
The Oxbridge Women in Computer Science conference is an annual one-day event hosted by the Universities of Oxford and Cambridge (UK). The…
→ Read more
Building portable user interfaces with Nottui and Lwd
At Tarides, we build many tools and writing UI is usually a tedious task. In this post we will see how to write functional UIs in OCaml…
→ Read more
Tarides is now a sponsor of the OCaml Software Foundation
Tarides is pleased to provide support for the OCaml Software Foundation, a non-profit foundation hosted by the Inria Foundation. The OCaml…
→ Read more
Irmin: September 2020 update
This post will survey the latest design decisions and performance improvements made to irmin-pack, the Irmin storage backend used by Tezos…
→ Read more
Introducing irmin-pack
irmin-pack is an Irmin storage backend that we developed over the last year specifically to meet the Tezos use-case. Tezos nodes were…
→ Read more
Fuzzing OCamlFormat with AFL and Crowbar
AFL (and fuzzing in general) is often used to find bugs in low-level code like parsers, but it also works very well to find bugs in high…
→ Read more
The future of Tezos on MirageOS
We are very glad to announce that Tarides has been awarded two new grants from the Tezos Foundation. Thanks to these new grants, Tarides…
→ Read more
Tarides wins the FIC 2020 startup award
We are very excited to announce that Tarides has won an award from the International Cybersecurity Forum (FIC 2020). Organized every year in…
→ Read more
MirageOS talk at the Paris Open Source Summit
We are thrilled to have been selected by the Paris Open Source Summit committee to talk about “Secure-by-design IoT applications using…
→ Read more
Introducing the GraphQL API for Irmin 2.0
With the release of Irmin 2.0.0, we are happy to announce a new package - irmin-graphql, which can be used to serve data from Irmin over…
→ Read more
Irmin v2
We are pleased to announce Irmin 2.0.0, a major release of the Git-like distributed branching and storage substrate that underpins MirageOS…
→ Read more
Mr. MIME - Parse and generate emails
We're glad to announce the first release of mrmime, a parser and a generator of emails. This library provides an OCaml way to analyze and…
→ Read more
Decompress: Experiences with OCaml optimization
In our first article we mostly discussed the API design of decompress and did not talk too much about the issue of optimizing performance…
→ Read more