MLabs

TREASURY FUNDED

DEVELOPER TOOL

High-assurance software engineering company that maintains widely used Cardano developer tooling including Plutarch, LambdaBuffers and Cardano Transaction Lib.

developer-toolhaskellformal-methodsplutarchctlopen-sourcecardano

PUBLIC FAMILYInfrastructure & Tools

DETAILED CATEGORYDEVELOPER TOOL

TEAM / ENTITYMLabs Ltd

ESTABLISHED2018

TREASURY FUNDING44 funded proposals on linked record · ≈$5,164,465 USD (historical estimate) · View Catalyst record ↗

EDITORIAL NOTE

MLabs is an active high-assurance engineering company and maintainer of Cardano developer infrastructure including Plutarch, LambdaBuffers and CTL.

EVIDENCE

/ SOURCES ▸

Official website — https://www.mlabs.city/
Web reference — https://projectcatalyst.io/proposers/lpmaho
Web reference — https://www.mlabs.city/verification