Symbolica is an AI research lab (founded 2022; backed by General Catalyst and Khosla Ventures) applying category theory and type theory to build reasoning systems that go beyond pattern matching. - View it on GitHub