Pragma Ventures — Full Portfolio

Armory provides continuous deployment software that helps development teams automate and manage application releases across their infrastructure at scale, with built-in safety and security controls.

Data & InfrastructureDeveloper ToolsEnterprise SoftwareSan Francisco, US

IMIsaac Mosquera(CTO)inBMBen Mappen(Chief Customer Officer)inDaniel R. Odio(Founder)Lonne Jaffe(Director)Phil Boyer(Director)Rashmi Gopinath(Director)

Co-investorsBABase Venture Management, Inc.CRCrosslink CapitalGAGaingelsINInsight PartnersJAJavelin Venture PartnersLULumia Capital+26 more

Avail is a blockchain infrastructure project focused on scalability solutions for blockchain ecosystems.

Crypto & Web3Data & Infrastructure

AAAnurag Arjun(Founder)inChris Giliberti(Founder)Prabal Banerjee(Founder)

Co-investorsAMAmino CapitalBOBorderless VentureCOCoatue ManagementDRDragonflyFIFigmentHTHTX Ventures (ex Huobi Ventures)+26 more

The Avalanche Foundation is a non-profit organization that supports innovation and growth in the Avalanche ecosystem through grants, programs, and strategic support for developers, entrepreneurs, and communities building on the Avalanche blockchain platform.

Crypto & Web3Data & InfrastructureDeveloper ToolsEnterprise SoftwareFintech

EGEmin Gun Sirer(Founder)inBrian Riordan(Founder)Elezhan (Ijan) Zhakiya(Founder)inEmin Gün Sirer(Founder)Kevin Sekniqi(Founder)Maofan Ted Yin(Founder)

Co-investorsA1a16z cryptoAEAegis VentuesANAndreessen HorowitzANAndromeda CapitalBABaseTwoBIBig Brain Holdings+35 more

Bitlayer is a Bitcoin-focused blockchain infrastructure project offering YBTC (yield-bearing BTC), multichain support, and BTC deposit and trading functionality.

Crypto & Web3Data & InfrastructureFintech

CHCharlie Hu(Founder)inKHKevin He(Founder)inCharlie Yechuan Hu(Founder)

Co-investors5757Blocks CapitalABABCDE CapitalALAlphaLab CapitalASAsymmetricBABaseTwoCACaladan+12 more

Institutional-grade perpetual futures DEX.

Co-investorsBLBlock ConsultCRCrypto DiscoverG1G1 VenturesHYHyperNest

exo connects Macs and workstations into a single local inference cluster, automatically discovering devices, mapping network topology, and splitting AI models across device memory to run frontier models on-premises.

AI & Machine LearningDeep TechDeveloper Tools

Co-investorsARArchetypeBIBig Brain HoldingsBRBreedRORobot Ventures

Fondo provides financial management and bookkeeping services to help startups track cash flow, burn rate, and runway.

AI & Machine LearningEnterprise SoftwareFintechSaaSSan Francisco, US

DJDavid J. Phillips(CEO)inRobbie Trencheny(CTO)Jason Mustian(CEO)Shariq Minhas(CTO)Brian Simmons(CPO)Diane McCormack(Chief People Officer)

Co-investorsMOMotley Fool VenturesNENext Coast VenturesPIPi CampusY Y CombinatorANAndreessen HorowitzFIFirstrock Capital+5 more

GoGoPool is a liquid-staking protocol on Avalanche that lets operators run validator minipools and supports L1/Subnet launches.

Co-investorsCOCoinFund

homeDAO is a residential accelerator program in Oxford that provides free accommodation, workspace, and $350k SAFE funding to founders building early-stage companies.

EdTechFuture of WorkOxford, GB

Co-investorsTHThomas James

Kintsu is a liquid staking protocol on the Monad blockchain that lets users stake MON tokens and receive sMON liquid staking tokens usable across DeFi for trading, lending, and pooling while earning staking and MEV yield.

Crypto & Web3Fintech

CMConnor McKenzie(Founder)in

Co-investorsNXNxGenPUPurechain CapitalREReciprocal VenturesBRBrevan Howard DigitalCACastle Island VenturesFIFinTech Collective

lvl5 creates high-definition mapping technology used by autonomous vehicle developers for navigation and localization.

Advanced ManufacturingMobility & TransportationSan Francisco, US

GTGeorge Tall(CTO)inAKAndrew Kouri(CEO)in

Co-investorsAMAmino CapitalBABase Venture Management, Inc.ITIT-Farm CorporationY Y CombinatorFRFrialeHAHack VC+4 more

Mind Network builds privacy infrastructure using Fully Homomorphic Encryption (FHE) and Zero Knowledge Proofs (ZKPs) to enable computation on encrypted data and verification without disclosure.

Crypto & Web3CybersecurityDeep Tech

Co-investorsMOMoonhill CapitalTPTPC Club (The presale club)TPTPC VenturesBIBinance LabsSESevenX Ventures

Niles is a Slack integration that captures conversations and documents to build a team knowledge repository accessible in real time.

Enterprise SoftwareFuture of WorkSan Francisco, US

MLMack Lu(CEO)inWei HsuinAndy Kim

Co-investorsY Y CombinatorHAHarlan Capital PartnersINInovia CapitalK5K5 VenturesTETech Coast AngelsVEVenture Investment Associates

OneLocal provides an AI-powered marketing platform designed for local service businesses, helping them improve online visibility, capture leads, and automate marketing tasks through integrated tools including website design, SEO optimization, and lead management.

AI & Machine LearningEnterprise SoftwareMarketing TechSaaSToronto, CA

EYEdward Yao(CEO)inSBSimon Bourgeois(President)inNeel Lukka(COO)Alex McCausland(CTO)Austin Startup(Talent Acquisition)Christina Kwong(Talent Acquisition)

Co-investorsAAAAF Management Ltd.CACANVenturesFUFundersClubWEWestern Technology InvestmentY Y CombinatorAGAgrolimen Ventures+9 more

OpenGradient operates a decentralized network for verifiable AI computing, letting users host models, run secure inference, and deploy AI agents onchain.

AI & Machine LearningCrypto & Web3Deep TechNew York City, US

Adam B(Founder)

Co-investorsTHThanefield CapitalTPTPC Club (The presale club)TPTPC VenturesA1a16z cryptoALAlloy FundBLBlack Dragon+8 more

Quantum, built by MultiVM Labs, develops post-quantum blockchain infrastructure including a post-quantum-by-default Layer 1 chain, a multichain PQ smart wallet layer for existing EVM chains, and a bridge (Entanglement) that enforces post-quantum authorization.

Crypto & Web3CybersecurityQuantum Computing

Co-investorsSPSpeciale Invest

Redbelly Network is a blockchain platform that enables the tokenization and trading of compliant on-chain structured products for real-world assets.

Crypto & Web3Data & InfrastructureFintechSydney, AU

VGVincent Gramoli(Founder & Chief Technology Officer)inABAlan Burt(Executive Chairman)in

Co-investorsBLBlack DragonCOCogitent VenturesDUDutch Crypto Investors

SubQuery provides Web3 infrastructure and tooling that enables developers to build and scale decentralized applications.

Crypto & Web3Data & InfrastructureDeveloper ToolsSingapore, SG

Ian He(CTO and Co-Founder)in

Co-investorsARArrington CapitalBIBitDAOD1D1 VenturesDIDigital Currency GroupDIDigital Finance GroupELEllipti+11 more

TACEO builds a privacy layer for public blockchains, offering composable primitives for confidential stablecoin payments, private treasury and DeFi operations, identity verification without exposing user data, and confidential transactions for AI agent commerce.

Crypto & Web3CybersecurityDeveloper Tools

Co-investorsARArchetypePOPolymorphic Capital

Telegram is a messaging application that prioritizes simplicity, privacy, and speed, offering encrypted messaging, cross-device synchronization, and support for large group communications.

ConsumerMedia & EntertainmentSector AgnosticSocial

Co-investors1010SQ Capital (TenSquared)AFAfford.CapitalALAliya Capital PartnersALAlphabit FundAMAmeeteeANAngelONE Capital+59 more

XSwap is a cross-chain DeFi platform for swaps, bridging, token creation and payments built on Chainlink CCIP.

Co-investorsWWWWVenturesCOCogitent VenturesMAMaven CapitalMHMH VenturesZBZBS CAPITAL