Built with TLC

The Systems Research Centre1 that takes computational trinitarianism seriously. That is:

Types, Logic & Categories

We encourage and enable programmers to build software systems that are elegant, reliable, maintainable—as well as being fun to write! We resist the temptation to compromise our principles in order to pursue high performance2.

Join us

We welcome collaboration with programmers, researchers, autodidacts—you! Simply join the chat:

  1. Named in homage to the original SRC, DEC SRC.

  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.