Systems Programming with Guaranteed Memory Safety
Fearless concurrency, zero-cost abstractions, and provable safety for performance-critical and embedded software.
Performance and Safety Without Compromise
Our Rust expertise is built on Titagone's deep roots in programming languages and formal methods. Our engineers have been crafting high-value software for over 10 years, from embedded firmware to formal verification tools.
Our Rust Expertise in Practice
Fine Code Tuning
We have contributed code to improve performance of the Vec type in Rust's standard library. We work comfortably with unsafe Rust for embedded codebases and targeted performance optimizations.
Compilers and DSLs
We have implemented a transpiler from the EMF/ECore meta-modelling language to Rust, and contributed to the Rust compiler directly. Our team includes maintainers of the GnuCOBOL and OCaml compilers.
Innovative Web Software
We host the development of agnos, a lightweight and fast Let's Encrypt client. We have also developed backends for ERP systems in Rust.
Formal Methods
We have developed several formal method tools in Rust, including Matla, SAT-Micro-Rust, and Mikino. We have also implemented a security policy proven using the Creusot deductive verifier.
Knowledge Transfer
We have delivered beginner and advanced Rust training to engineers across multiple fields: power control, energy management, rail transport, industrial process control, data science, and television.
High-Throughput Middleware
Our deep understanding of Rust's ecosystem and compilation model allows us to write highly efficient middleware for network processing and data format parsing, with minimal resource impact.
Services We Offer
Robust Development
We develop software our clients can rely on. The code we craft is performant and trustworthy, and product ownership can easily be transferred to your engineering team.
Advising and Support
Our expertise in Rust and programming languages means we can work with you during the blueprinting phase of your project and offer support during its realization.
Code Review
If your team has a Rust codebase but lacks confidence that it is performant, safe, idiomatic, or follows best practices, our code reviews are ideal for new hires and teams switching languages.
Holistic Performance Audit
We conduct comprehensive performance audits of your whole stack and evaluate the relevance of algorithmic changes or targeted rewrites in Rust or other languages.
Migration from Another Language
Do you have software to migrate to Rust? Our engineers will help you identify which functionalities must be kept equivalent and deliver code enabling a smooth transition.
Training
We offer three standardized Rust training programs (beginner, advanced, and one for decision makers), as well as custom programs. Available in French and English.
Domain-Specific Development
Our engineers have strong academic backgrounds in mathematics, physics, and computer science. We have tackled domain-specific subjects before and can quickly become operational on specialized software.
R&D Projects
80% of our engineers hold a PhD, and all have had research experience. Titagone has a CIR (Credit Impot Recherche) agreement, allowing recovery of 30% of R&D costs outsourced to us.
Projects Where Rust Played a Key Role
Owi: Seamless Symbolic Execution for WebAssembly
Made symbolic execution accessible through WebAssembly, supporting C, C++, and Rust with an interactive web interface.
SeaCoral: Advanced Automated Test Generation for Critical C Code
See how Titagone helped Thales strengthen their critical C code with automated test generation, combining fuzzing, concolic testing, and model checking using cutting-edge research tools.