Your expectations, lifted.

Serokell is a software company focused on building innovative solutions for complex problems.
Contact us
Whether you need a research project done or a software product built from start to finish, Serokell is the long-term development and research partner to choose for the best results. Our team is composed of developers, UX/UI designers, DevOps engineers, computer scientists and mathematicians, all to help you realize your vision.

Why us?

High Assurance Software
Make your important software fault-tolerant with our approach that involves functional programming, formal verification, and robust solutions for failure handling
Cost Efficiency
Save your money with software that is shipped faster and has to be maintained less frequently than the usual market offerings
Scientific Approach
Use our scientific expertise in computer science, programming language theory and mathematics to assure the safety of your software and create new programming languages
Recruiting System
You deserve only the best. We recruit top software developers and domain experts to make sure our software is synonymous with quality and reliability
History of Excellence
Hire a software development partner that has shipped multiple large-scale projects and platforms
Open Source Experience
Improve the quality and security of your products by making them open source. We have in-depth experience in creating and using open source projects for business purposes

Areas of Expertise

Blockchain
Secure and decentralize your systems with our custom blockchain solutions.
Fintech
Build distributed, massively scalable, and fault-tolerant systems with the help of our fintech professionals.
Machine Learning
Improve your products with our innovative machine learning and data science solutions.
Formal Verification
Have a critical system that absolutely needs to work as intended? Leverage our expertise in formal verification of software to achieve the highest levels of safety.
Internet of Things
Let our professionals make a springboard for your business by creating, securing and integrating embedded systems to create reliable IoT networks.

Story of Your Software

Research
Development
Idea
No matter whether you already have a plan or just a problem you want to solve, we’ll help you expand your idea and choose the right technologies and solutions.
Idea
Publications
Our research team will create an academic paper that describes your idea and the solutions behind it for marketing or documentation purposes.
Publications
PoC
We will create a proof of concept to validate the idea and the technological solutions for the exact use case.
PoC
Experiments
Do you need assistance running A/B tests and generating new knowledge about your product? Our scientists will ensure that the correct methods are used to obtain truth.
Experiments
Release
Make your product releases flawless. Our employees have gone through many large-scale launches and will guide your project to success.
Release
Post-release
We will continue to support your project. Maintenance, patches, hot-fixes - everything to make sure your users are happy.
Post-release
Backend
Get a stable and reliable backend for your application with programming languages such as Haskell, OCaml, Rust, C++, and others.
Backend
Frontend
Improve your application with an intuitive and user-friendly frontend. Our frontend team is composed of UX/UI designers and frontend developers working with modern technologies and frameworks.
Frontend
MvP
Every business idea needs validation. Our agile teams will quickly build a proof of concept for gathering feedback and user data.
MvP
Infrastructure
Our DevOps team will build an infrastructure that supports continuous integration and deployment.
Infrastructure
Testing & Quality assurance
Our QA team will make sure your product is held up to the standards of modern software development.
Testing & Quality assurance

Technologies

Confused about the correct technology for your project?
Nix
Nix is a purely functional package manager for Linux and macOS systems that allows to create reliable and reproducible build environments.
Elixir
Elixir is a functional, concurrent, general-purpose programming language designed for building scalable, maintainable, and fault-tolerant applications.
TypeScript
TypeScript is an open-source programming language developed and maintained by Microsoft. It is a strict syntactical superset of JavaScript, and adds optional static typing to the language.
Haskell
Haskell is a purely functional general-purpose programming language. It is used in fields where reliability is mandatory, such as blockchain, medicine, and fintech.
Rust
Rust is a systems programming language that supports functional and procedural programming. It is primarily used for writing safe and latency-critical applications.
C++
C++ is a general-purpose programming language that is very efficient for resource-constrained and performance-critical applications.
Agda
Agda is a dependently typed functional programming language that also functions as a proof assistant for formal verification.

Case Studies

Tocqueville Group

Serokell is working on the Morley library for the Tezos. Morley is a library that will ease writing smart contracts in Michelson, the language used to write smart contracts on Tezos.

Tocqueville Group

Serokell is working on the Morley library for the Tezos. Morley is a library that will ease writing smart contracts in Michelson, the language used to write smart contracts on Tezos.

tqgroup.io

Insolar

Insolar is a global technology company building innovative public and private blockchain solutions on Insolar Blockchain Platform.

Insolar

Insolar is a global technology company building innovative public and private blockchain solutions on Insolar Blockchain Platform. Insolar are friends of scientific progress, and therefore their chosen technology provide a secure, flexible, and scalable blockchain for businesses with different monetization models.

insolar.io

POA Network

POA Network is the perfect platform for development and deployment of highly-scalable games.

POA Network

POA is a stand-alone blockchain that supports Solidity and is backed by the security of Proof of Autonomy consensus. Choice of this technology provides easy compatibility when porting over code from Ethereum to POA Network. POA offers transactions at a fraction of the cost while being 3X faster than Ethereum. Their open-source explorer and wallet create a complete functional ecosystem where applications have the opportunity to develop and grow.

poa.network

IOHK

Together with IOHK we were working on Cardano — one of the most promising blockchains in the market today. In the next couple of years, it aims to become a multifunctional general-purpose blockchain platform that fulfills a diverse set of needs.

IOHK

Together with IOHK we were working on Cardano — one of the most promising blockchains in the market today. In the next couple of years, it aims to become a multifunctional general-purpose blockchain platform that fulfills a diverse set of needs.

Cardano is split into two layers for flexibility reasons: settlement layer for transferring ADA cryptocurrency and computation layer for smart contracts. Serokell implemented the settlement layer of Cardano, and it’s currently fully functional and working in a centralized manner. Decentralization is expected to follow shortly.

The main reason why we chose to work on this project was the scientific attitude of the Cardano team. We always want to build projects that are well-designed and fault-tolerant, and scientific rigor is one of the best ways to achieve that.

iohk.io

DISCIPLINA

DISCIPLINA is a multifunctional blockchain made for education and recruiting. It will connect various actors in these spheres and allow them to share and fulfill their needs.

DISCIPLINA

Education and recruiting markets have long been plagued by several inefficiencies created by a lack of trust and truthfulness between actors. DISCIPLINA is a blockchain that plans to solve these inefficiencies. It will do that by providing a market that allows participants to prove their data, share and fulfill their needs reliably, and do it both openly and confidently.

Serokell has developed the backend and a version of the Ariadne wallet for DISCIPLINA. Right now, an alpha version of DISCIPLINA has been released. It is available at alpha.disciplina.io.

We chose to work on this project because we believe it can have a significant impact to the future of the education, and we’d love to be a part of that.

disciplina.io

Ariadne

Ariadne is a modern and standard-compliant wallet for users who need more.

Ariadne

Ariadne is a modern, standard-compliant wallet that addresses the needs of both casual and professional users. This is accomplished by a unique two-interface design: users of Ariadne have a choice between a graphical or terminal-based user interface. Our graphical interface allows users to manage their funds and transfer/receive cryptocurrency with ease, while the terminal user interface allows professional users to utilize the powerful Knit command language for further customization.

Ariadne is designed and developed by Serokell, and written in Haskell programming language. Our goal is to make Ariadne into a multicurrency wallet that would support major blockchain platforms and allow for interactions between them.

serokell.io/ariadne

Hephaestus

Hephaestus aims to be the foremost staking pool on Cardano blockchain.

Hephaestus

Serokell will provide one of the staking pools necessary for running Cardano, Hephaestus.

After the Shelley release, Cardano will achieve full decentralization in the Settlement Layer, but the running of the protocol will require independent staking pools to emerge. To guarantee returns on their stake, stakeholders need to be online 24/7 to generate blocks if necessary. Staking pools solve this problem - participants can delegate their stake and receive steady returns in return for a small fee.

heph.io

Our partners

Let’s Have a Chat

Every project is different. Schedule a consultation to discover the correct technologies and solutions for your idea via email: hi@serokell.io, or fill the form below