about us

We believe in using applied mathematics to construct software in a principled way that is clear, concise, composable, and correct. We build only with tools that allow us to make these guarantees.

Note: we are currently not able to accept new customers in the forseeable future.

Scientific Modelling Done RightStraightforward approaches to scientific software.

Producing tools to aid in scientific research is often awkward and cumbersome, and rarely do the results feel intuitive to use. Researchers often have to switch between "thinking in their problem domain", and "thinking in code", in order to translate their ideas into the computer.

We are able to bridge that gap by using new mathematical techniques to make modelling in software feel as natural as working on paper. We work with you to understand your field and find ways to make tools that let you express what you want, exactly how you want.

Robust bulletproof software.Functional engineering techniques in industry.

We know that commercial software ends up being both late and bug-ridden almost 100% of the time. We know that fixing bugs often causes more unintended bugs to pop up. Whether you're in automotive, retail, marketing, aerospace, finance - you've probably experienced this problem.

We help you to build systems at any scale using principled functional programming techniques that suit your use case. We'll also help train you in the same techniques that allow us to build software in ways that we can guarantee production correctness, and reduce your maintenance and overheads over the long run.

Training in engineering and mathematicsWorld class, state of the art software methods

We offer a range of training courses to give you the tools you need to navigate the functional programming ecosystems, so you can apply all of our techniques and be self-assured of all of the guarantees functional programming has to offer. We are able to provide full courses in Haskell and Idris and help bring you up to a master level in functional programming.

We take a three pronged approach to training - 1) building a solid theoretical foundation, 2) practice in language elements and syntax, and 3) a full exploration of the ecosystem for libaries and applications. We can tailor training programs for your particular use case - whether you're one person or a 1000 person company. Just let us know and we'll build it around you.

contact us

Our plans are custom built and we work with customers of any size and budget. For more information get in touch.

Email: dan.firth@homotopic.tech
Phone: +447853047347