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 moreRecent 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 moreTarides 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 moreBuilding 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 moreTarides 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 moreIrmin: 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 moreIntroducing 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 moreFuzzing 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 moreThe 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 moreTarides 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 moreMirageOS 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 moreIntroducing 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 moreIrmin 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 moreMr. 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 moreDecompress: 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