We're a small consultancy dedicated to provide advices and applications related to Flutter, Haskell, Rust, security and cryptography
We have extensive experience architecturing, developing and improving sofwares and libraries, in a very wide application range from low level system to DSL
We thrive to write better code, that solve problems in pragmatic ways, but without sacrificing security, performance or maintenance.
We use static typing with lightweight and custom types, functional programming, and good taste to our advantages to achieve those goals
Diversed and elegant designs, that work in various devices. The use of new modern ways for app development allows more possibilities
The Functional programming paradigm provide code that is better and easier to maintain, and can nicely contains more imperative approaches where needed.
Thorough understanding of cryptography from low level implementation to high level protocol. We've designed high level protocols and architecture making use of advanced concept like adjudication and mediation, but also implemented or binded crypto primitives
Security is from the ground up; We design each of our layer of code to be as secure as the last line of defence, preventing issues with in-depth design.
CoreType Ltd Is a limited company registered in Hong Kong