In production
01Gitrevio
Shows a CEO, CTO and CFO where the engineering money goes and what the business gets back for it. It also shows delivery risk, team capacity and what AI tools change in productivity.
Explore GitrevioProducts that began as problems we kept hitting
Each one started as a tool we needed in client work or in our own work.
What we ship
Open core, with Rainbow Pro
02Rainbow
A theorem prover written in Clojure. A small kernel checks each proof, so a bug in the search cannot give a false proof. Rainbow Pro generates certified, correct code from a specification.
See Rainbow Read the docsOpen source
03chachaml
REPL-first MLOps for Clojure, with a web UI, an MCP server and chat-with-data.
View chachaml on GitHubOpen source
04Infix
Optional infix notation for Clojure. Write a * b + c / d and it compiles to ordinary Clojure with no runtime cost.
View Infix on GitHubOpen source
053TL
CSV with types, foreign keys and enums, so a language model reads your data without guessing. Parsers in Python, JavaScript, Clojure and Go.
See 3tl.orgIf your team puts models into production on the JVM, chachaml gives you experiment tracking and a model registry inside Clojure. We can also help you decide when to retrain, which model to promote and how much labelling to buy. Talk to us about your models.
We also license parts of our work as components for other companies’ products. How component licensing works.
Bring us the problem that isn't on this list
Tell us about a problem that costs you money. Jiri or Ivo will tell you how we would solve it.