Modulus LabsModulus Labs makes AI outputs mathematically verifiable using zero-knowledge proofs, enabling trustless AI for smart contracts, DeFi, identity, and Web3 applications.(0)AI Models & Infrastructure·AI Frameworks·AI Research Tools0
StarCoder AIStarCoder AI provides open-source large language models for code generation, trained on 600+ programming languages and trillions of tokens from The Stack v2.(0)Coding & Development·AI Models & Infrastructure·Foundation Models0
NuroNuro provides a licensable Level 4 AI self-driving system with 1.7M+ proven autonomous miles. Power robotaxis, commercial fleets, and personal vehicles with Nuro Driver™.(0)Automation & Agents·AI Models & Infrastructure·AI Frameworks0
Anaconda AI NotebookAnaconda is the trusted open-source platform for Python data science and enterprise AI. Manage packages, build AI models, and deploy at scale with built-in governance.(0)Coding & Development·Data & Analytics·AI Models & Infrastructure0
StellarSolverStellarSolver is an open-source C++ library for internal astrometric plate solving and star extraction on Mac, Linux, and Windows, built on Astrometry.net and SEP.(0)Coding & Development·AI Models & Infrastructure·Research & Education0
Open Glider NetworkOGN is a free, community-driven tracking network for gliders, drones, and small aircraft using FLARM, ADS-L, and OGN trackers. Access live flight data and build your own aviation apps.(0)Productivity·Data & Analytics·AI Models & Infrastructure0
Astrometry.netUpload any astronomical image to Astrometry.net and receive precise celestial coordinates, WCS metadata, and a list of known objects in your field of view — for free.(0)Data & Analytics·AI Models & Infrastructure·Research & Education0
Sturdy FinanceSturdy Finance offers isolated DeFi lending with shared liquidity and AI-optimized yields powered by its Bittensor subnet. Lend, borrow, or launch money markets permissionlessly.(0)Automation & Agents·AI Models & Infrastructure0
NUtrackNUtrack is a University of Nebraska–Lincoln computer vision system that automatically identifies and tracks the behaviors of group-housed livestock for precision animal health and welfare management.(0)Data & Analytics·AI Models & Infrastructure·Research & Education0
LipNetLipNet uses end-to-end deep learning for sentence-level lip-reading, enabling speech recognition from video without audio — ideal for accessibility and autonomous systems.(0)AI Models & Infrastructure·Research & Education·Transcription Tools0
