Case Studies
Our clients come to us with the problems that sit underneath their product, in the build systems, compilers and storage engines everything else depends on.
Featured Case Studies
Bringing Semgrep's static analysis to Windows developers
Shipped Windows support three months ahead of schedule, opening up the majority of professional developers as new addressable users.
One Patricia tree library for four analysis tools
Six changes merged upstream into a shared Patricia tree library, reaching Frama-C and Colibri2 through their own review processes, with the work validated by CEA List.
Keeping a C analyser current with the C23 standard
The C23 features TrustInSoft's own customers were already writing are now supported, prioritised by demand rather than by specification.
Scaling the storage layer behind the Tezos blockchain
Six times the storage throughput, 80% less memory, and rolling nodes that need a tenth of the disk.
Could your project be next?
Tell us about your scalability, security, or reliability challenge. We'll show you how OCaml and our team can help.