Startups Directory

360Learning is an AI-powered learning platform that combines LMS and LXP capabilities to enable organizations to create, share, and scale collaborative training at speed. The platform turns internal expertise into skills-based learning for employees, customers, and partners through peer learning and team-driven knowledge sharing rather than top-down course delivery. It integrates deeply with enterprise systems like SAP and Workday, helping L&D teams reduce course creation time from 3-6 months to as little as 17 minutes.

Harmonic builds Aristotle, an AI-driven mathematical reasoning engine that uses formal verification via the Lean 4 proof assistant to solve complex mathematical problems with provable correctness. The platform translates natural-language math problems into formally verified proofs, eliminating the guesswork in mathematical reasoning. Harmonic serves mathematicians, quantitative researchers, software verification teams, and enterprises needing formally verified code generation. Unlike general-purpose AI models that can hallucinate intermediate steps, Aristotle guarantees each reasoning step is mathematically sound.

Prytek Holdings is a technology investment group that builds and operates financial services infrastructure through a dual-arm model: a corporate services division providing managed financial services, cybersecurity education, and recruiting solutions; and a venture capital division investing in fintech, regtech, cybersecurity, and data companies. The company operates a vertically integrated ecosystem of 25+ portfolio companies serving over 140 financial institutions and 1,000 corporate clients. Prytek differentiates through its integrated platform approach, combining multiple complementary technologies and services under one structure rather than competing as standalone products.