Skip to content

Solutions

e-Fuels and hydrogen e-SAF, e-methanol, hydrogen Ports Berths, cranes, yard, hydrogen, energy Gitrevio What engineering spend brings back Internal systems Back office with optimisation built in Project margin Which projects will lose money Capacity and scheduling Which orders to take, and when Remediation and warranty Which job to fix first Verified critical software Proof that a rule always holds Industries Who we work for Decision systems The decisions we fix Product engineering Software that lasts All solutions Everything in one place
How we work
Engineering

Engineering archive Articles by our engineers Engineering handbook How we build The book Applied Higher Order Functions
Work
Products

Gitrevio Plans, delivery and results in one view
Rainbow and tools Proofs, the book and libraries Rainbow Theorem prover Rainbow docs Getting started and every proof Rainbow Pro Proved code from a specification The book Applied Higher Order Functions chachaml MLOps for Clojure 3TL Typed data for LLMs
Company

Company About us Team Our senior people Careers Join us Contact Talk to someone senior

Bring us a hard problem

☰ Menu

e-Fuels and hydrogen Ports Gitrevio Internal systems Project margin Capacity and scheduling Remediation and warranty Verified critical software Industries Decision systems Product engineering All solutions

Engineering archive Engineering handbook The book

Gitrevio Rainbow The book All products

Company Team Careers Contact

Bring us a hard problem

Contact us

Use the form, or email info@flexiana.com. Jiri or Ivo reads every message, and what you tell us stays confidential. Talking to us costs nothing.

Do not fill this in

Name

Email

Company

Message

Up to 10,000 characters.

Send me the Flexiana newsletter

© 2026 Flexiana

Privacy RSS Feed Accessibility Security and data