We offer services around software, from designing new architecture, implementing prototypes to porting old codebase. We can either work as part of a team, or separately. We got extensive experience in security, cryptography and writing software in general.
Testing shows the presence, not the absence of bugs.Edsger Dijkstra
Leveraging best software practice, type theory research, functional programming and the best tools to create simple and reliable code and provide better guarantees. We conduct our business mainly in Haskell, but also other advanced typed languages.