Fundraising FoxHalcyon — Full Portfolio
23 tracked investments · listed companies and verified rows first
Enlightapp provides G2KU (Guess2KnowU), a classroom engagement tool that lets educators ask students anonymous questions and have peers guess responses, surfacing insights about student experiences and preferences that traditional grades don't capture.
EdTechWest Fargo, US
Dieumerci Christel(Executive Officer, Director, Promoter)in
Co-investorsTechstarsUntapped Capital
ByBug is a biotech startup that uses genetic engineering and black soldier fly (Hermetia illucens) biomanufacturing to produce oral biological feed additives that prevent diseases such as Caligus in salmon and White Spot Syndrome Virus in shrimp.
AgTechBiotechDeep Tech
Co-investorsAtento CapitalGRIDX
Coral Vita operates land-based, high-tech coral farms to grow coral for reef restoration, selling restoration services and coral supply through a for-profit model rather than an NGO or government one.
AgTechClimate TechImpact & Social GoodSan Diego, US
Alec Halpern(Executive Officer, Director)Sam Teicher(Founder)inGator Halpern(Founder)inAustin Martin(Chief Operations Officer)inSeth Teicher(Director)inWill Hovey(Director)
Co-investors2050Kayak VenturesKatapult Africa
Kubik operates a circular economy model that turns urban waste, including plastic, into low-carbon building materials for industries such as cement, working with cities and municipalities to improve waste management.
Circular EconomyClimate TechNew Materials
Kidus Asfaw(Founder & CEO)in
Co-investorsEndgame CapitalKazana FundMo AngelsPlug and Play VenturesSatganaUnruly Capital+1 more
Theorem.dev provides verified software engineering through lf-lean, an AI-powered translation tool that converts formal mathematical proofs from Rocq to Lean significantly faster than manual translation.
AI & Machine LearningDeveloper ToolsEnterprise SoftwareSan Francisco, US
Jason Gross(CEO)inRajashree Agrawal(CTO)inAbeer Agrawal(Founder)inHugh Edmundson(Founder)in
Co-investorsY CombinatorBatch VenturesBlast.ClubDCVC (Data Collective)Eight CapitalFAST — by GETTYLAB+6 more
Theorem Labs develops formal verification technology for software, producing mathematical proofs that cover a program's full behavior space, beginning with verified sandboxes designed to contain AI agents.
AI & Machine LearningCybersecurityDeveloper Tools
Jason Gross(Founder)in
Co-investorsEight CapitalPioneerThe E14 FundKhosla VenturesSAIFY Combinator
Trestle Labs develops AI-powered technology solutions to address disability, language, and literacy barriers in education and employment across India, Africa, and Asia.
AI & Machine LearningEdTechImpact & Social Good
Bonny DaveinAkshita
Wasoko is an e-commerce platform providing convenient and cost-effective access to products and services for shopkeepers and small businesses across Africa, offering same-day delivery and flexible payment options.
B2B MarketplacesE-commerceImpact & Social Good
Daniel Yu(Founder)in
Co-investors4Di Capital4DX VenturesAHL Venture PartnersAvenir Growth CapitalBreyer CapitalFlucas Ventures+21 more
Other
Tracked investments with no reachable website or further public details — typically companies that wound down, renamed, or were absorbed.
3BA Allamanda Enterprise Limited3BAELS ECOBATT3R Innovation Inc.AdadkADAPTAAymaraExcuelaForteKAMIM Technologies LtdKorion HealthPolusSEOS EnergySylvarumTrashcoin LimitedTuConsejería
Rows marked “SEC filing” are inferred from directors named on the company's SEC Form D — public regulatory data, not a portfolio list published by the firm.