Software innovation lab

FAST, CORRECT, MAINTAINABLE:
PICK ALL 3!

01

Fast

We bring together experts in distributed systems, compilers and formal methods to build scalable designs at the lowest complexity budget.

02

Correct

Bugs are tedious to spot. So we build programs that find bugs in other programs. State what behaviours you want - we'll automate the rest. We have your back with millions of test cases generated on-the-fly and automatic analysis at every save. That lets you continuously integrate changes and fearlessly refactor.

03

Maintainable

We use functional programming to build apps and services from the ground up as composable, interchangeable, permutable atoms and molecules. Don't keep whole programs in your head: zoom in on any piece and reason about rich behaviours locally. Stack them, pipeline them, connect them in a loop to build rich behaviours from simple parts.

FastCorrectMaintainable

Why US

Work with the makers of tomorrow's data platform. We design the infrastructure of European public initiatives for massive scale high-performance computing. We bring the semantic web to big biopharma data. We create fraweworks to process events in real-time at low latency. We achieve fast interop between scripting languages, enterprise platforms and functional programming.

Our services:
from inception to production

01

The Lab

We are a research and development lab. From idea to plan to prototype, we make moonshots happen.

02

The factory

Your ideas, all the way to production. We build out your software quality and advise your team to achieve reproducible, scalable feature integration. Every day, continuously.