For founders and investors
01Gitrevio
Shows what the business got back for its engineering spend. Paying customers use it in production.
Explore GitrevioWe show you what you can earn, then we build the software
We look at how your company runs and show you how much more you can earn or save. Then we help you get there, and our support costs a tenth of that or less.
Ten years in business about 50 people around 20 countries
What changed, and what I did about it
When I started Flexiana, clients came to us for good software from senior engineers. Today every client expects that.
So we changed what we sell. Now it is Gitrevio, systems that run e-SAF, e-methanol and e-hydrogen plants, port systems, and internal systems with operations research built in. Before we build, we work out how much you can earn or save with it. Part of the work is yours.
AI made our team much more productive. Today we do the work of 30 to 40 extra PhD-level people. So one team can bring you operations research, formal methods and software engineering together.
Jiri Knesl, founder
A lab and a studio
Our lab tests new methods on real data. Our studio puts the ones that work into software for you.
The Decision Lab
We test the methods
We try new methods on real company data, and a machine checks every proof. We publish the research.
The Studio
We build the software
Custom software for your company, measured by how much you earn or save with it.
How we are organised
We are mostly senior engineers, and many of us have been here for years.
We work across many time zones, so we write things down.
You can follow the work and check it at any time, without joining our calls.
What we have shipped
Open-core theorem prover
02Rainbow
A theorem prover in Clojure with kernel-checked theorems about all 222 catalogued operations-research algorithms.
See RainbowOpen-source MLOps for Clojure
03chachaml
An MLOps platform for Clojure teams, with a web UI and chat-with-data.
See the productsWe build in Clojure, and we belong to its community
Clojure is a small, stable language on the JVM. We use it because we can still change a large system safely years after we wrote it.
Our open-source libraries are for other Clojure developers to use.
Tell us what you want to improve
Jiri or Ivo will reply. Talking to us costs nothing.