Services

We help individuals and organisations with all things software. Whether you are starting from nothing or trying to tame a system that has grown fragile, we bring correctness and reliability to the table.

Engineering & product development

End-to-end design and implementation of web applications, APIs, and back-end systems — built in OCaml where correctness matters most, and pragmatically elsewhere when that serves you better.

Systems design & architecture

Robust, scalable architectures: data modelling that makes invalid states unrepresentable, clear module boundaries, and designs that stay maintainable as they grow.

Reliability & production engineering

Observability, sensible deployments, and the unglamorous work that keeps software running — health checks, graceful failure, and boring releases.

Rescue & hardening

Inherited a fragile codebase? We harden existing systems: closing off invalid states, adding the types and tests that should have been there, and making change safe again.

Long-term & legacy support

Some software can't be migrated — the cost is too high, the risk too great, or the team that knew it has moved on. But "can't migrate" should never mean "can't stay safe." For applications past their support date, and for dependencies pinned several major versions behind the latest release, we keep the stack you actually run alive and defensible: backporting security fixes, patching vulnerabilities in the exact version you depend on, and helping you stay compliant — without forcing an upgrade you're not ready for. Surgical and correctness-first, so a patch never becomes a regression. Offered as a scoped retainer.

Not sure where you fit? Tell us what you're building.