HYSEN LABS DIRECTORY

Open-source project directory

Curated repositories with precise taxonomy, verified metadata and practical context.

11,627 curated open-source projects

teorth

analysis

★ 1,908

A Lean companion to Analysis I. For instance, Chapter 2 develops a theory of the natural numbers independent of Mathlib, but all subsequent chapters will use the Mathlib natural numbers instead.

LeanDeveloper Tools263 forks

Other language Developer tooling Library Cross-platform

databricks-solutions

ai-dev-kit

★ 1,908

Databricks Toolkit for Coding Agents provided by Field Engineering

Python423 forks

CoderGamester

mcp-unity

★ 1,908

Model Context Protocol (MCP) plugin to connect with Unity Editor — designed for Cursor, Claude Code, Codex, Windsurf and other IDEs

C#244 forks

visual-layer

fastdup is a powerful, free tool designed to rapidly generate valuable insights from image and video datasets. It helps enhance the quality of both images and labels, while significantly reducing data operation costs, all with unmatched scalability.

Python94 forks

featbit

★ 1,906

Enterprise-grade feature flag platform that you can self-host. Get started - free.

TypeScript144 forks

explosion

spacy-models

★ 1,905

💫 Models for the spaCy Natural Language Processing (NLP) library

Python319 forks

hanshuaikang

nezha

★ 1,901

Code Editor for the AI Agents Era. Run multiple Claude Code and Codex agents across projects on your machine.

TypeScript178 forks

vstorm-co

full-stack-ai-agent-template

★ 1,901

Full-stack AI app generator — FastAPI + Next.js with AI Agents, RAG, streaming, auth, and 20+ integrations out of the box.

Python375 forks

lucidrains

byol-pytorch

★ 1,901

Usable Implementation of "Bootstrap Your Own Latent" self-supervised learning, from Deepmind, in Pytorch

Python247 forks

Syngnat

GoNavi

★ 1,901

High-performance multi-data-source database client — ~30MB, AI & MCP ready, zero Electron bloat. | 高性能多数据源数据库客户端：约 30MB，AI 与 MCP 就绪，告别 Electron 膨胀。

TypeScript204 forks

dynamicslab

pysindy

★ 1,900

A package for the sparse identification of nonlinear dynamical systems from data

Python387 forks

showlab

ShowUI

★ 1,899

[CVPR 2025] Open-source, End-to-end, Vision-Language-Action model for GUI Agent & Computer Use.

Python141 forks

skalesapp

skales

★ 1,898

Personal AI desktop agent for Windows, macOS, Linux, Android & iOS. Set a goal, it works on its own. Teams (pair two desktops, agents + humans), Agent2Agent, Workflows, Codework, multi-agent orgs, desktop + browser automation. 15+ AI providers, BYOK. No Docker, no terminal. Agent Skills (SKILL.md). Migration importer. Recurring autonomous tasks.

TypeScript262 forks

7836246

cursor2api

★ 1,897

将 Cursor Web Docs 免费 API 转换为 OpenAI/Anthropic 兼容格式的代理服务。提供 Claude Code工具及图片支持。

TypeScript516 forks

daptin

★ 1,897

Self-hosted application server for schema-driven APIs, identity, files, automation, integrations, realtime, metering, and protocols.

Go122 forks

Yuan-lab-LLM

ClawManager

★ 1,896

A Kubernetes-native control plane for AI agent instance management, with governed AI access, runtime orchestration, and reusable resources across multiple agent runtimes.

Go156 forks