The "Systems Research Centre"1 that practises computational trinitarianism:

Types, Logic & Categories

We build software systems that are elegant, reliable, maintainable. We resist the temptation to compromise our principles in order to pursue high performance2.

Contact us

We love to work, learn and collaborate with programmers, researchers, and autodidacts.

You can contact us at

  1. Named in homage to the original SRC, DEC SRC. Unfortunately, not actually a research centre—more of a Haskell consultancy.

  2. We do like low-level bit-twiddling tricks, it's just that we prefer to get things right before we make them fast. In the long-term, we believe that high-level principled design will lead to the leveraging of the an ever broader range of low-level bit-twiddling in a safe, verified manner for high performance together with high confidence.