Serokell - Functional Programming & Blockchain Development

Company Overview

Serokell is an international software development company founded in 2015, specializing in functional programming solutions for mid-size and large businesses. With offices in Tallinn, Estonia and Paris, France, Serokell brings advanced technology expertise to fintech, blockchain, machine learning, biotech, and enterprise software projects. The company employs 50+ engineers with deep expertise in Haskell, Rust, and other functional programming languages, delivering custom software research, development, and consulting services.

Core Services

Blockchain & DLT Development

Comprehensive blockchain and distributed ledger technology solutions using functional programming approaches. Serokell builds secure, verifiable smart contracts and blockchain infrastructure with a focus on formal verification and mathematical correctness. Notable blockchain work includes contributions to the Tezos ecosystem in coordination with the Tezos Foundation.

Smart Contract Development & Auditing

Smart contract development and security auditing services leveraging functional programming languages for enhanced safety and correctness. Expertise in formal verification approaches that mathematically prove contract behavior matches specifications.

Haskell Development

Leading Haskell development company with team expertise spanning the full Haskell ecosystem. Serokell contributes to GHC (Glasgow Haskell Compiler) development and created the first-ever Haskell Certification Program authorized by Haskell.org. Haskell's strong type system enables building reliable, maintainable software with fewer bugs.

AI & Machine Learning

AI, ML, and Big Data consulting services leveraging functional programming for data processing pipelines, machine learning systems, and analytics platforms. Notable projects include AI recommender systems for e-commerce applications.

Research & Formal Methods

Software research and formal verification services using tools like K-Framework and Agda for mathematical proofs of software correctness. Valuable for mission-critical systems where bugs are unacceptable.

Technical Expertise

Programming Languages

• Haskell (primary specialization)
• Rust
• Python
• TypeScript
• Elixir
• Nix
• Agda
• C++

Blockchain Platforms

• Tezos
• TON (Telegram Open Network)
• Cardano ecosystem
• Custom blockchain solutions

Notable Projects

Tezos Foundation

Contributed to the Tezos blockchain ecosystem, building infrastructure and tooling in close coordination with the Tezos Foundation.

TON Blockchain

Winner of TON blockchain smart contract contest, demonstrating excellence in smart contract development.

GHC Development

Sponsors a team of developers working full-time on Glasgow Haskell Compiler (GHC) development, contributing new features to the main Haskell compiler.

Haskell Certification

Developed the first-ever Haskell Certification Program exclusively authorized by Haskell.org.

Why Choose Serokell

Functional Programming Expertise

Deep expertise in functional programming languages, particularly Haskell, enables building more reliable, maintainable software with stronger guarantees of correctness.

Formal Verification Capability

Ability to mathematically prove software correctness using formal methods, valuable for blockchain and mission-critical applications.

Research-Driven Approach

Combines academic rigor with practical software development, staying at the forefront of programming language and blockchain research.

Industry Recognition

Recognized contributions to open source (GHC), blockchain (Tezos, TON), and developer education (Haskell Certification) demonstrate technical leadership.