MLabs is a Haskell and Cardano engineering firm that builds and formally verifies high-assurance software, including smart contracts and protocol components.
Source: Official website. Last checked 2026-09-18. Spot an error? Tell us.
Nearby and similar
Adanian Labs is an Africa-focused technology and venture studio that builds and backs blockchain and Web3 ventures.
Adder is an event-driven tool and library for tailing the Cardano blockchain and reacting to on-chain events.
Agrow Labs is an enterprise blockchain development firm building on Cardano, covering supply chain traceability, cross-chain bridges and smart contract work.
Aiken is a modern smart-contract platform for Cardano: a purpose-built language, compiler, test runner and toolchain that produces Plutus validators.
Anastasia Labs provides Cardano smart-contract auditing, protocol design and development services, and maintains open-source tooling including Lucid Evolution.
Anvil is a Cardano build shop and platform whose products include an NFT and token minting service, a staking and rewards platform, an SDK and a REST API for transaction building and smart-contract deployment.