analysis
分析 I 的精實伴侶。例如,第 2 章發展了獨立於 Mathlib 的自然數理論,但所有後續章節都將使用 Mathlib 自然數。
HYSEN LABS 專案目錄
以精準分類、人工校驗資料與實用脈絡整理值得關注的開源專案。
分析 I 的精實伴侶。例如,第 2 章發展了獨立於 Mathlib 的自然數理論,但所有後續章節都將使用 Mathlib 自然數。
Databricks Toolkit for Coding Agents provided by Field Engineering
Model Context Protocol (MCP) plugin to connect with Unity Editor — designed for Cursor, Claude Code, Codex, Windsurf and other IDEs
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.
Enterprise-grade feature flag platform that you can self-host. Get started - free.
💫 Models for the spaCy Natural Language Processing (NLP) library
Full-stack AI app generator — FastAPI + Next.js with AI Agents, RAG, streaming, auth, and 20+ integrations out of the box.
Code Editor for the AI Agents Era. Run multiple Claude Code and Codex agents across projects on your machine.
High-performance multi-data-source database client — ~30MB, AI & MCP ready, zero Electron bloat. | 高性能多数据源数据库客户端:约 30MB,AI 与 MCP 就绪,告别 Electron 膨胀。
Usable Implementation of "Bootstrap Your Own Latent" self-supervised learning, from Deepmind, in Pytorch
A package for the sparse identification of nonlinear dynamical systems from data
[CVPR 2025] Open-source, End-to-end, Vision-Language-Action model for GUI Agent & Computer Use.
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.
Self-hosted application server for schema-driven APIs, identity, files, automation, integrations, realtime, metering, and protocols.
将 Cursor Web Docs 免费 API 转换为 OpenAI/Anthropic 兼容格式的代理服务。提供 Claude Code工具及图片支持。
A Kubernetes-native control plane for AI agent instance management, with governed AI access, runtime orchestration, and reusable resources across multiple agent runtimes.
A curated list of Graph/Transformer-based fraud, anomaly, and outlier detection papers & resources
Unofficial API Wrapper for Perplexity.ai + Account Generator with Web Interface
Official Microsoft Learn MCP Server and CLI tool – powering LLMs and AI agents with real-time, trusted Microsoft docs & code samples.
Your AI agent skills, finally organized. A macOS app to browse, edit, and manage skills across Claude Code, Cursor, Codex, Windsurf, and Amp.