pyrefly
Python 的快速类型检查器和语言服务器。理解现实世界的Python。对 Pydantic、Django 和 pytest 等框架和工具的内置支持,具有开箱即用的模型验证、字段类型、夹具导航和自动完成功能。
HYSEN LABS 项目目录
用途 标签 · 精选仓库与深度解析。
Python 的快速类型检查器和语言服务器。理解现实世界的Python。对 Pydantic、Django 和 pytest 等框架和工具的内置支持,具有开箱即用的模型验证、字段类型、夹具导航和自动完成功能。
该项目围绕「JavaScript YAML parser and dumper. Very fast. Supports both the 1.2 and 1.1 specs, and passes the entire YAML Test Suite.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。
PDF。国家中小学智慧教育平台电子教材下载工具帮助您从智慧教育平台获取电子教材的PDF文件网址并下载,让您更方便地获取教材内容。
经济实惠的多功能 Nano RISC-V IP-KVM。它可以让您远程访问和控制计算机,就像您坐在计算机前面一样,这对于服务器、嵌入式系统和其他无头机器很有用。
乐观就是以太坊,规模化。 Optimism 是一个致力于扩展以太坊技术并扩展其协调世界各地人们建立有效的去中心化经济和治理系统的能力的项目。
大数据的更新插入、删除和增量处理。 Apache Hudi Apache Hudi 是一个开放数据 Lakehouse 平台,基于高性能开放表格式构建,可跨多个云数据环境摄取、索引、存储、服务、转换和管理数据。
该项目围绕「Pony is an open-source, actor-model, capabilities-secure, high performance programming language.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。
uBlock Origin 和 uBlock Origin Lite 的过滤器列表。 uBO 过滤器列表中包含的任何过滤器都必须使用扩展语法。
Pok mon 战斗模拟器。 [sim/SIM-PROTOCOL.md][5] - 用于战斗和战斗消息的协议部分。
免费开源视频编辑器,基于 MLT 框架和 KDE 框架。
就像 Mac 上的 TextEdit,但专用于 Markdown。 MarkEdit MarkEdit 是一款适用于 macOS 的免费开源 Markdown 编辑器。
所有 RE 引擎游戏的 Mod 加载器、脚本平台和 VR 支持。
GitHub 托管 GitHub GitHub 。 GitHub 托管 GitHub GitHub 托管 托管 GitHub :: Github 页面:GitHub FastDev 托管 GitHub Gitlab 1。
使用 Jupyter Notebooks 创建令人愉悦的软件。文档支持 LaTeX、可搜索、自动超链接(包括通过 nbdev-index 对许多包的开箱即用支持)将包发布到 PyPI 和 conda 以及简化包发布的工具。
该项目围绕「crimera/piko」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。
Claude Code / Codex / Gemini / OpenCode 的应用程序,随时随地进行氛围编码。 HAPI 在本地运行官方 Claude Code / Codex / Cursor Agent / Grok Build / OpenCode 会话,并通过 Web / PWA / Telegram Mini 应用程序远程控制它们。
修复 X/Twitter 和 Bluesky 嵌入!在 Discord、Telegram 等上使用多个图像、视频、民意调查、翻译等。
通过 TypeScript 调用 MCP,伪装成简单的 TypeScript API。或者将它们打包为 cli。
该项目围绕「open-telemetry/opentelemetry-collector-contrib」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。
Rime输入法引擎,核心库。 RIME:Rime 输入法引擎 === Rime 与您的按键。