MLabs
MLabs is a UK-based Haskell and Rust consultancy providing elite staff augmentation, codebase stewardship, and high-assurance engineering for mission-critical software, with deep specialization in the Cardano blockchain ecosystem and adjacent AI, DevSecOps, and recruitment services.
- Company typePrivate
- Founded2018
- HeadquartersBirmingham, United Kingdom
- Headcount51–100
- GTM typeB2B
- OfferingServices
What MLabs does
MLabs is a privately held Haskell and Rust consultancy headquartered in the United Kingdom, founded in 2018 by Mark Florisson. The firm provides elite staff augmentation, codebase stewardship, and high-assurance engineering services to clients building mission-critical software, with a particular concentration in the Cardano blockchain ecosystem. It maintains a deep bench of formal-methods engineers spanning 32 countries and describes itself as the largest Haskell consultancy globally, with 100+ developers. MLabs also operates adjacent lines in blockchain development (Cardano, Polkadot, Solana), DevSecOps and Nix-based infrastructure, AI/ML consulting (MLabs AI), and technical recruitment (MLabs Talent Partners).
The company's core technology stack centers on Haskell and Rust for statically typed, formally verifiable systems, supplemented by PureScript for off-chain Cardano code and Nix for reproducible deployments. MLabs maintains an extensive portfolio of open-source Cardano developer tools — including Plutarch (a typed smart-contract eDSL), the Cardano Transaction Library (CTL), the CLB ledger emulator, CEM Script, Ply, Plutip, LambdaBuffers, YTxP, TxVillage, cardano.nix, and the Pisa Fees protocol — that collectively form a near-complete dApp development, testing, and deployment pipeline for Cardano builders. The firm has delivered 30+ projects through Cardano's Project Catalyst grant program since Fund 7, and serves enterprise clients outside crypto such as Juspay (where it ported ~65,000 lines of JavaScript to Haskell for the Medea payment schema and payment gateway architecture supporting 20M+ daily transactions) and Two (BNPL B2B invoicing product, €2.5M Sequoia-backed).
MLabs operates under a holding structure — MLabs Group LTD controls MLabs LTD (primary operating entity), MLabs Digital LTD, MLabs AI LTD, and Walkway Technologies LTD — and is led by founder/CEO Mark Florisson with CTO Ben Hart, CFO Karthikeyan Lakshmanan (ex-Standard Chartered, Mastercard), and COO Oskar Greda. Revenue is generated on a quote-based, professional-services model (staff augmentation, project delivery, health-check audits) with no public pricing. Go-to-market is enterprise field sales and ecosystem-partner referrals, with lead generation reinforced by the firm's open-source contributions, technical blog, and Project Catalyst proposals. No external institutional funding has been disclosed.
MLabs firmographics
Firmographics- Name
- MLabs
- Legal name
- MLabs LTD
- Website
- https://mlabs.city
- Company type
- Private
- Founded year
- 2018
- Operating status
- Operating
- Headcount range
- 51–100 employees
- Short description
- MLabs is a UK-based Haskell and Rust consultancy providing elite staff augmentation, codebase stewardship, and high-assurance engineering for mission-critical software, with deep specialization in the Cardano blockchain ecosystem and adjacent AI, DevSecOps, and recruitment services.
- Ownership category
- akta.pro rank
MLabs industry classification
Industry- Product category
- Software Development Consulting
- NAICS
- Computer Systems Design and Related Services (5415), Computer Systems Design and Related Services (54151)
- SIC
- Services-Computer Programming Services (7371), Services-Engineering, Accounting, Research, Management (8700)
- akta.pro primary industry
- Smart Contract Frameworks & SDKs (developer kits, templates, standards) (FSAPABAB)
- akta.pro secondary industries
- Deployment, Automation & DevOps (build pipelines, contract deployment tools) (FSAPABAH), Developer Portals, SDKs & Documentation Platforms (BPAMADAG)
Keywords
Where MLabs is headquartered
LocationHeadquarters
- HQ city
- Birmingham
- HQ country
- United Kingdom
- HQ region
- Europe
Offices2 records
Markets served
MLabs business model
Business model- GTM type
- B2B
- Offering type
- Services
- Cost components
- Personnel, Technology or R&D, Infrastructure, Operations, Marketing or Sales
Revenue model
- Staff Augmentation: On-demand elite developer talent provided to clients for mission-critical software development projects. MLabs provides not just developers but codebase stewardship, ensuring code remains concise, clear, and easier to manage.
- Project Management & Strategic Execution: Strategic execution and launch strategies for product development, including scoping, MVP planning, and version planning services.
- DevOps & Infrastructure Solutions: Complete infrastructure solutions including Nix-based deployment, CI/CD pipelines, and cloud infrastructure management to reduce time to launch and overall development cost.
- Technical Documentation: Clear roadmaps and technical documentation services to turn high-level ideas into reality.
- High-Assurance Health Check: Rigorous code review service utilizing model-checkers and formal logic to verify codebases before they go live, positioned as an essential final step for successful prototypes.
- Blockchain Development Consulting: Specialized blockchain development services for Cardano, Polkadot, and Solana ecosystems, including smart contract engineering, SDK development, and protocol design.
- Treasury Management Tooling: Development of on-chain smart contracts and financial analytics dashboards for ecosystem treasury management, developed in collaboration with Intersect and other ecosystem partners.
Go-to-market motion2 records
Distribution channels2 records
Marketing channels5 records
MLabs product offering
Product offeringCore offering
MLabs is a premier Haskell and Rust software consultancy that provides elite staff augmentation, codebase stewardship, and high-assurance engineering for mission-critical software systems. Its service portfolio covers High-Assurance Health Checks (formal verification code reviews), Scoping/MVP/Version Planning, end-to-end Blockchain Development on Cardano/Polkadot/Solana, DevSecOps and Nix-based infrastructure, AI/ML consulting, and technical recruitment. The firm also maintains a substantial suite of open-source Cardano developer tools (Plutarch, CTL, CLB, Ply, etc.) that underpin its delivery capability.
Product overview
MLabs is a Haskell and Rust consultancy providing elite staff augmentation and codebase stewardship for mission-critical software development. Their service portfolio includes high-assurance engineering, blockchain development (Cardano/Polkadot/Solana), DevSecOps, AI/ML consulting, and scoping/MVP services. They maintain a suite of open-source Cardano development tools including Plutarch (smart contract eDSL), Cardano Transaction Library/CTL (Purescript dApp library), CLB (emulator), CEM Script (dApp testing SDK), Ply (script exporter), Plutip (testnet launcher), LambdaBuffers (type-sharing toolkit), YTxP (transaction patterns), TxVillage (Rust Cardano tools), Covenant (DSL), cardano.nix (NixOS modules), and Pisa Fees (fee abstraction protocol). The open-source tools work together to provide a complete dApp development, testing, and deployment pipeline for Cardano builders.
Differentiator
Problem solved
Functional benefit
Brands
- MLabs AI: Artificial Intelligence and Machine Learning services
- MLabs Talent Partners
- MLabs.city
Products and services
- High-Assurance Health Check Rigorous codebase review service that uses model-checkers and formal logic to verify existing codebases for greater assurance, reliability, and code correctness, designed as the essential final step for prototypes before they go live. Target customers are enterprises and protocol teams with mission-critical codebases that need provable correctness.
- Elite Staff Augmentation On-demand elite developer talent (Haskell and Rust specialists) providing codebase stewardship for mission-critical software projects. Customers receive embedded senior engineers to extend internal teams and maintain codebases concisely.
- Scoping, MVP & Version Planning Early-stage product design and version planning service that guides clients through design initialization, technical documentation, and roadmaps to turn high-level ideas into production-grade MVPs. Targets non-specialist clients with promising product ideas.
- Blockchain Development Mission-critical blockchain development services across Cardano (Plutus), Polkadot (Substrate/Ink!), and Solana ecosystems, including smart contract engineering, formal verification, SDK development, and core protocol infrastructure. Targets blockchain protocols and DeFi/NFT projects.
- DevSecOps Nix-based infrastructure deployment solutions providing secure, reproducible, and scalable DevOps services including CI/CD pipelines, cloud infrastructure management, and performance optimization using Rust.
- AI & Machine Learning AI and machine learning consulting services offered through the MLabs AI sub-brand (mlabsai.com).
- Recruitment Technical recruitment services offered via the MLabs Talent Partners sub-brand (mlabstalentpartners.com) to help clients build technical teams.
Quantifiable outcome
- 30+ successfully completed Cardano ecosystem projects delivered through Project Catalyst funding
- +3 more outcomes
Companies that use MLabs
Customer profileNamed customers8 records
Segments4 records
Ideal customer profiles4 records
MLabs technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Feature12 records
MLabs partnerships and signals
Strategic signalPartnerships
16 partnerships are on record, tiered core and minor.
- Intersect (Cardano)coreCollaborated with Intersect on Cardano Critical Integrations (CCI) program and treasury management tooling. MLabs worked alongside SundaeLabs, Xerberus, and auditing partners on community-funded development.
- PaimacoreOfficial partner relationship with Paima, a blockchain development framework, indicating integration and collaboration on ecosystem projects.
- dcsparkcoreOfficial partner of dcspark, a blockchain infrastructure company building on Cardano and other protocols.
- ComposablecoreOfficial partner relationship with Composable, a cross-chain DeFi infrastructure provider.
- Liqwid LabscoreOfficial partner of Liqwid Labs, a Cardano DeFi lending protocol. MLabs has delivered Plutus testing frameworks and development support.
- MinswapcoreOfficial partner of Minswap, a Cardano decentralized exchange and DeFi protocol.
- SundaeSwapcoreOfficial partner of SundaeSwap, a Cardano DeFi protocol and AMM.
- Indigo ProtocolcoreOfficial partner of Indigo, a Cardano synthetic asset protocol. MLabs developed smart contracts and provided DevOps support.
- GeniusYieldcoreOfficial partner of GeniusYield, a Cardano DeFi yield optimizer.
- Input Output (IOG)coreOfficial partner associated with Input Output, the company behind Cardano development.
- Cardano FoundationcoreOfficial partner of the Cardano Foundation, the nonprofit governing body for the Cardano blockchain.
- JuspaycoreMLabs developed Medea JSON schema library and redesigned payment architecture for Juspay, a leading Indian fintech processing 20M+ daily transactions.
- SundaeLabscoreCollaborated with SundaeLabs to develop treasury management tooling for Cardano, building on-chain smart contracts and web-based administration dashboard.
- XerberuscorePartnered with Xerberus to build financial analytics dashboard for Cardano treasury management tooling.
- TxPipeminorAuditing partner for Cardano treasury management tooling development in collaboration with Intersect.
- TwocoreMLabs built Two Checkout B2B invoicing product, going from consultation to MVP in 4 months. Two subsequently secured €2.5M from Sequoia.
Scale indicators7 records
Recent moves7 records
Expansion highlights6 records
MLabs competitors and assessment
Company assessmentDirect peers
- Input Output (IOG): Core engineering company behind the Cardano blockchain and an official MLabs partner. Operates in the same Haskell/Cardano smart-contract and protocol-engineering space as MLabs and competes for the same scarce Haskell talent.
- SundaeLabs: Cardano-native development and treasury-management shop that collaborates with MLabs on Catalyst/CCI work. Competes for the same Cardano DeFi and infrastructure build engagements and shares the same Haskell/Plutus stack.
- dcSpark: Cardano infrastructure and tooling company (Flint wallet, Milkomeda). Listed as an official MLabs partner but also a competing builder of Cardano core infrastructure and developer tooling.
- TxPipe: Haskell shop building Cardano developer tools (e.g., Pallas) and serving as MLabs' auditing partner on CCI treasury work. Direct overlap in Cardano engineering, tooling, and Haskell talent.
- Tweag: Functional-programming consultancy with deep Haskell expertise serving enterprise and Web3 clients. Closest analogue to MLabs in business model outside the Cardano-specific ecosystem.
- Well-Typed: Long-standing Haskell consultancy offering commercial Haskell services. Competes with MLabs for Haskell consulting engagements across enterprise and open-source clients.
- FP Complete: Haskell and Rust services firm with commercial DevOps tooling (Stack, GHCup). Direct competitor in Haskell/Rust consulting and adjacent in developer-tooling distribution.
- Serokell: Haskell and formal-methods software house with strong blockchain exposure (Tezos, Cardano, Algorand). Directly comparable on functional-programming stack and high-assurance delivery.
- Runtime Verification: Formal-verification and smart-contract audit firm with deep blockchain protocol work (Ethereum, Cardano). Overlaps with MLabs on formal-methods positioning and Web3 security/audit services.
Broad incumbents
- OpenZeppelin: Larger, established smart-contract security and developer-platform company. Broader incumbent in Web3 services and tooling that overlaps with MLabs' blockchain development and audit-oriented offerings.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat5 records
Key risks6 records
Key highlights7 records
Customer concentration
MLabs social profiles
Digital presenceMLabs financial estimates
Financial estimateRevenue estimate
Valuation estimate
MLabs leadership team
Management profileNumber of profiles
Profiles8 records
MLabs subsidiaries and ownership
Company hierarchySubsidiaries3 records
MLabs funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
MLabs M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about MLabs
What does MLabs do?
MLabs is a premier Haskell and Rust software consultancy that provides elite staff augmentation, codebase stewardship, and high-assurance engineering for mission-critical software systems. Its service portfolio covers High-Assurance Health Checks (formal verification code reviews), Scoping/MVP/Version Planning, end-to-end Blockchain Development on Cardano/Polkadot/Solana, DevSecOps and Nix-based infrastructure, AI/ML consulting, and technical recruitment. The firm also maintains a substantial suite of open-source Cardano developer tools (Plutarch, CTL, CLB, Ply, etc.) that underpin its delivery capability.
Is MLabs a public or private company?
MLabs is a private company. It is classified as founder individual operated bootstrapped and is currently operating.
When was MLabs founded?
MLabs was founded in 2018. It employs 51 to 100 people.
Where is MLabs based?
MLabs is headquartered in Birmingham, United Kingdom, in the Europe region.
How does MLabs make money?
Seven revenue lines are on record. Staff Augmentation is the primary driver. The others are project Management & Strategic Execution, devOps & Infrastructure Solutions, technical Documentation, high-Assurance Health Check, blockchain Development Consulting and treasury Management Tooling.
Who are MLabs's main competitors?
Direct peers on record are Input Output (IOG), SundaeLabs, dcSpark, TxPipe, Tweag, Well-Typed, FP Complete, Serokell and Runtime Verification. OpenZeppelin is listed as a broad incumbent.
Does MLabs have an API?
No public API is recorded for MLabs.
What industry is MLabs in?
MLabs's product category is Software Development Consulting. Its primary akta.pro industry code is FSAPABAB, Smart Contract Frameworks & SDKs (developer kits, templates, standards), with a secondary code of FSAPABAH, Deployment, Automation & DevOps (build pipelines, contract deployment tools). Its NAICS code is 5415 and its SIC code is 7371.