Services on the Rust Language
We have been involved in multiple Rust projects, and we can share the experience we gained with you. Rust is particularly adapted for reliable performance-critical applications and parallel applications.
Consulting on Rust Projects
Our experienced Rust developers can provide a wide range of consulting services to support other teams in their Rust development.
Training for Rust Developers
We provide a very high quality course for functional programmers to learn and use Rust. It is divided into two modules:
Development of Rust Projects
Our team can develop high-value software in Rust.
Here are a few projects that we developed in Rust:
- LLNL samples, code samples to discuss HPC-related ideas and designs in Rust.
- Matla, a manager for TLA+ projects
- Sat-Micro, a reimplementation in Rust of SAT-Micro
- Mikino, a simple induction and BMC engine
At the frontier between Rust and OCaml:
- Everscale OCaml SDK, a binding in OCaml to the Rust SDK for Everscale
- Memthol, a memory profiler for OCaml