What Serokell does

Serokell OÜ is a privately held, Estonia-domiciled custom software research, development, and consulting firm founded in 2015 and operating from Tallinn and Paris. The company delivers bespoke engineering services to enterprise and mid-market clients across blockchain/Web3, fintech, biotech, oil & gas, rail, and e-commerce verticals, with a documented emphasis on complex projects where functional programming (Haskell, Rust, Elixir, Nix), formal verification, and machine learning provide differentiation. Its core service portfolio comprises AI/ML consulting, blockchain and smart contract development, smart contract audits, SRE/CI-CD engineering, fintech development, biotech software, big data consulting, and oil & gas software development.

The firm's technology stack is anchored in functional programming, with proprietary contributions to the Tezos ecosystem (Lorentz, Indigo, Morley, Agora, Tandoor, TZIP standards), open-source tools for biotech data analysis (Edna), Nix-based deployment tooling (deploy-rs, Nix Formatter), and full-time sponsorship of Glasgow Haskell Compiler development. Serokell Labs operates as a research arm in collaboration with ITMO University, producing work at the intersection of programming language theory, distributed systems, mathematics, and AI. Revenue is generated primarily through three engagement models — fixed-price contracts, time-and-materials billing, and dedicated-team arrangements — supplemented by online functional programming courses, the Functional Futures podcast, and the 2026-launched Haskell Programming Online Certification endorsed by Haskell.org. Named enterprise clients and partners include the Tezos Foundation, The Open Network (TON), Cardano, StakerDAO, Runtime Verification, BIOCAD, Omega Media, and ITMO University; the firm has been recognized as a Top 15 ML company (Techreviewer 2024), Top NLP and Blockchain Developer (The Manifest), and a French Young Innovative Company (JEI, 2024).

Name

Serokell

Legal name

Serokell OÜ

Website

https://serokell.io

Company type

Private

Founded year

2015

Operating status

Operating

Headcount range

11–50 employees

Short description

Serokell is a privately held custom software research, development, and consulting firm specializing in functional programming (Haskell, Rust, Nix), blockchain, formal verification, and machine learning for enterprise clients across fintech, biotech, Web3, and industrial verticals.

Ownership category

akta.pro rank

Headquarters

HQ city

Tallinn

HQ country

Estonia

HQ region

Europe

Offices2 records

Markets served

GTM type

B2B

Offering type

Services

Cost components

Personnel, Technology or R&D, Operations, Marketing or Sales, Infrastructure, Others

Revenue model

1. Custom Software Development & Consulting: Serokell generates revenue through bespoke software research, development, and consulting engagements. Projects span blockchain, AI/ML, fintech, biotech, and SRE services. Engagements follow models including fixed-price contracts (defined scope and price), time-and-materials (billed per person-hour), and dedicated team arrangements (long-term, iterated collaboration).
2. Functional Programming Education & Courses: Serokell offers online courses in functional programming (e.g., Ultimate Monad Tutorial on Udemy, Everyday Optics, Everyday Extensions) and the Functional Futures podcast, which may generate revenue through course sales or brand-building.

Pricing tiers

Go-to-market motion2 records

Distribution channels3 records

Marketing channels8 records

Core offering

Serokell is a custom software research, development, and consulting firm that delivers specialized solutions in functional programming, blockchain/DLT, machine learning/AI, fintech, biotech, SRE, and oil & gas software. The company sells bespoke engineering services through fixed-price, time-and-materials, and dedicated team engagements, while also producing proprietary developer tooling (e.g., Lorentz, Indigo, Morley, Tandoor, Edna, deploy-rs) and contributing to the Glasgow Haskell Compiler.

Product overview

Serokell is a custom software research, development, and consulting company offering a portfolio of specialized services built on functional programming expertise. The core offerings include AI/ML Consulting (for computer vision, NLP, recommender systems, and predictive analytics), Blockchain Development (public/private blockchains, smart contracts, dApps, DeFi), Smart Contract Audits, SRE services, Fintech Development, Biotech Software Development, Big Data Consulting, and Oil & Gas Software Development. The company also maintains open-source projects including Edna (biotech data analysis), deploy-rs (Nix deployment tool), NIX Formatter, and contributes to the Glasgow Haskell Compiler. Educational offerings include Functional Programming Online Courses, Haskell Programming Online Certification (the first Haskell certification endorsed by Haskell.org), and the Functional Futures podcast. Serokell Labs serves as the research division focused on programming language theory, distributed systems, mathematics, and AI.

Differentiator

Problem solved

Functional benefit

Products and services

• AI & Machine Learning Consulting Custom AI and ML consulting delivering computer vision, NLP, conversational AI, business intelligence, recommender systems, generative AI, and predictive analytics solutions for enterprise clients.
• Blockchain Development Public and private blockchain development, custom blockchain platforms, smart contracts, dApps, DeFi platforms, and enterprise DLT solutions for clients in Web3 and beyond.
• Site Reliability Engineering (SRE) Software reliability engineering services including CI/CD pipeline development, stability monitoring, automation, incident management, capacity planning, and recovery planning to improve system availability and deploy velocity.
• Smart Contract Audit Independent blockchain security consulting and smart contract audits combining manual code review, functional testing, and automated security analysis to uncover vulnerabilities and protect businesses from security breaches.
• Fintech Development Reliable and scalable fintech systems built with functional programming, formal verification, and mathematical analysis for financial data security, including enterprise blockchain, exchanges, transaction processing, and AI-assisted fraud detection.
• Biotech Software Development Advanced biotech application development that accelerates life sciences projects through ML, data analysis, and cloud computing, including LIMS, electronic lab notebooks, scientific data management, and clinical trial management systems.
• Big Data Consulting Customized and highly secure systems for large-scale data collection, storage, and analysis, including data lakes, data warehouses, ETL/ELT pipelines, analytics, data preprocessing, and data visualization.
• Oil & Gas Software Development AI-driven systems for the Oil & Gas industry including predictive maintenance, failure prediction, pipeline management, and environmental compliance monitoring designed by industry-focused experts.
• Functional Programming Online Courses Online courses in functional programming languages such as Haskell, including Ultimate Monad Tutorial, Everyday Optics, and Everyday Extensions, distributed via Udemy to develop expertise in functional programming.
• Haskell Programming Online Certification The first Haskell programming certification, created by Serokell and endorsed exclusively by Haskell.org, providing formal recognition of Haskell programming proficiency.

Quantifiable outcome

• Serokell's K Framework Haskell backend optimization reduced test completion time by up to 20%.
• +6 more outcomes

Named customers11 records

Segments8 records

Ideal customer profiles5 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

AI capability17 records

Feature9 records

Partnerships

Four partnerships are on record, tiered core.

• BIOCADcoreStrategic or Co-development PartnerSerokell partners with BIOCAD, an international biotech company working on full-cycle pharmaceutical manufacturing from initial molecule search to mass production. The partnership enables Serokell to deliver biotech software solutions that account for the necessities of modern, large-scale biotech companies. Edna, Serokell's open-source data analysis tool for biotech researchers, was initially built as an MVP for this partnership.
• ITMO UniversitycoreStrategic or Co-development PartnerSerokell runs its research laboratory (Serokell Labs) in collaboration with ITMO, the top university for competitive programmers according to HackerRank. This collaboration enables Serokell developers and scientists from leading world universities to translate visions in optical design, computer vision, and engineering into working solutions for real business problems. The collaboration spans original research, validating industry solutions, and building new solutions.
• Runtime VerificationcoreStrategic or Co-development PartnerRuntime Verification, the company behind K Framework, invited Serokell to participate in developing K Framework — a tool for formally verifying programming languages and software/hardware systems. Serokell was tasked with improving the performance of the Haskell backend through profiling and optimization, audit and code review, and implementing feature requests.
• Tezos FoundationcoreStrategic or Co-development PartnerTezos Foundation is a technology company headquartered in Zug, Switzerland, focused on building the Tezos ecosystem and open-source software. As an expert in functional programming and blockchain development, Serokell was invited to contribute to the Tezos ecosystem, including developing Morley, Lorentz, Indigo, Agora, Tandoor, and TZIP standards. The collaboration involved formal verification of smart contracts and creation of domain-specific programming languages for Tezos.

Scale indicators15 records

Recent moves6 records

Expansion highlights6 records

Broad incumbents

• ConsenSys Diligence: ConsenSys Diligence provides Ethereum-focused smart contract audits and security services. It overlaps with Serokell's blockchain audit business as part of a much broader Web3 platform player.
• CertiK: CertiK is a leading blockchain security firm offering smart contract audits using formal verification. It is a larger incumbent competing with Serokell's smart contract audit service line.
• Input Output Global (IOG): IOG (formerly IOHK) builds Cardano using Haskell and formal methods, employs a large research engineering team, and competes with Serokell for blockchain protocol development and FP talent. It is a broader incumbent in the Haskell/blockchain R&D space.

Direct peers

• FP Complete: FP Complete provides Haskell and functional programming consulting, training, and tooling. It overlaps with Serokell's FP consulting and Haskell course offerings as a direct competitor.
• Well-Typed: Well-Typed is a Haskell consulting firm run by core GHC contributors, offering services similar to Serokell's Haskell and compiler expertise. They are the most direct functional programming consulting peer.
• Binariks: Binariks is a custom software development and consulting firm headquartered in Eastern Europe with similar mid-market and enterprise project focus across blockchain, fintech, and healthcare. It competes for similar custom development engagements.
• Runtime Verification: Runtime Verification builds formal verification tooling (K Framework) and provides smart contract audits. Serokell has worked with them as a partner, but they overlap directly in formal verification and blockchain security services.
• Tweag I/O: Tweag I/O is a functional programming consultancy specializing in Haskell, Nix, and formal methods. It directly competes with Serokell for Haskell/FP consulting engagements and contributes to similar open-source projects.

Emerging players

• Mercury Technology Labs: Mercury (formerly Mercury Labs) provides Haskell engineering services for fintech and startups, including work on banking and payments systems. It is comparable to Serokell's Haskell-for-fintech specialization.
• Kadena: Kadena is a blockchain platform using formal verification and Pact smart contract language. It is an emerging player in the same formal-verification-meets-blockchain niche that Serokell serves.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat4 records

Key risks6 records

Key highlights7 records

Customer concentration

• GitHubgithub.com/serokell
• LinkedInlinkedin.com/company/serokell
• Xx.com/serokell

Revenue estimate

Valuation estimate

Number of profiles

Profiles8 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Serokell