OSS Radar
首页
AI 分类
推理与服务5
大模型推理服务 · 向量化 / 重排服务 · 网关与路由
训练与微调6
训练框架 · 参数高效微调 · 后训练 / RLHF
数据工程4
数据集托管 · 数据清洗与处理 · 合成数据
检索与 RAG9
向量数据库 · RAG 框架 · 检索增强引擎
Agent 与编排6
Agent 框架 · 编码 Agent · 电脑 / 浏览器 Agent
评估 · 实验 · MLOps8
模型评测 · Agent 评测 · 实验管理
多模态生成5
图像生成 · 视频生成 · 视觉语言模型
视觉与 3D5
检测 / 分割 · 3D 重建 · 3D 生成
模型工具链8
量化 · 剪枝与蒸馏 · 格式转换
科研与论文实现3
论文复现 · 时序预测 · 科学计算 / 生物医药
开发工具
开发与框架5构建与交付4底层与逆向3
系统工具
系统与文件7图像与影音工具5实用小工具4
效率工具
记录与整理3输入与阅读4
媒体与内容
播放与媒体库4内容处理3
网络工具
访问与代理3连接与传输4
游戏相关
开发与运行2游玩相关2
安全与隐私
攻防与审计3加密与隐私1
硬件与机器人
嵌入式与物联网5机器人与具身智能3
数据与金融
数据库与存储4金融与量化1
探索排行榜开发语言标签
/
周报
本周新增、涨得最快、发了什么版本
对比项目
两个项目并排看 star、维护状态与硬件
数据体检
收录量、完整度缺口、沉睡项目
提交仓库
推荐项目,附上你的使用经验
反馈与纠错
分类错了、介绍不准、链接失效
关于本站
数据来源与分类原则
登录
OSS Radar

按算法工程工作流分类的开源工具库。数据来自 GitHub 公开 API,收录 6,740 个仓库、129 个细分分类。 带 ✦ 的条目有人工撰写的专家点评。

数据最近同步于 2026/11/11 14:07:13 · 本项目仅做聚合与索引,软件版权归原作者所有

浏览

  • 全部仓库
  • AI 分类
  • 排行榜
  • 开发语言
  • 标签与关键词
  • 搜索

关于

  • 关于本站
  • 数据体检
  • 提交仓库
  • 反馈与纠错
  • 偏好设置
  • 我的收藏
  • 我的点评
© 2026 OSS Radar数据每小时级同步 · 内容由算法与人工共同维护
⌘K
「类型检查」找到 8 个结果 · 6ms命中词:类型检查只看有点评
P
pyrefly
meta·Rust

用 Rust 写的高性能 Python 类型检查器和语言服务器,能快速做类型检查并给编辑器提供补全、跳转等 LSP 能力。

类型检查+4
71960—
meta/pyrefly · 13.15
P
phpstan
phpstan·PHP

PHP 静态分析工具,不用运行代码就能扫出类型错误和潜在 bug,适合在 CI 里给 PHP 项目做质量把关。

静态分析+4
141540—
phpstan/phpstan · 11.79
J
jedi
davidhalter·Python

Python 代码自动补全、静态分析与重构库,通过类型推断为编辑器提供精准的跳转和补全能力。

静态分析+4
61880—
davidhalter/jedi · 11.68
P
psalm
vimeo·PHP

PHP 静态分析工具,通过类型推断和污点分析在运行前发现代码错误与安全漏洞,适合 CI 中做质量门禁。

静态分析+4
59250—
vimeo/psalm · 11.49
R
ruff
astral-sh·Rust

用 Rust 写成的超快 Python 代码检查与格式化工具,能替代 Flake8、Black 等,大幅缩短 lint 和格式化耗时。

Python 代码检查+4
511310—
astral-sh/ruff · 11.07
A
aframe
aframevr·JavaScript

用 HTML 声明式语法快速搭建 WebVR/AR 场景,无需深入 WebGL 细节,就能在浏览器里做出可跨头显运行的虚拟现实体验。

WebVR+4
176970—
aframevr/aframe · 10.28
R
revive
revive-lint·Go

一个用 Go 写的快速、严格且可配置的代码检查工具,用来替代 golint,帮你在 CI 里揪出 Go 代码的风格和潜在问题。

Go 代码检查+4
55660—
revive-lint/revive · 9.92
P
PyMuPDF
pymupdf·Python

高性能 Python 库,用来从 PDF、EPUB 等文档中提取文本、表格和图像,并做格式转换与页面操作,适合搭建文档解析和 RAG 数据管道。

PDF解析+4
111130—
pymupdf/PyMuPDF · 9.78

发布说明里提到「类型检查」

来自 6 个版本
  • flyl1u/fly-islandv0.2.172026-11-05

    …复为原来的灰色小点,也可从托盘打开。 - 前端与 Windows 原生服务按功能拆分,补充存储容错、类型检查、代码检查和回归测试,方便后续维护。 - 设置窗口关闭重开后,继续同步主窗口的更新下载进度和安装入口;保留启动后台下载、待办提示更新的功能。 - 保留原有经典外观与已保存的外观偏好,拖离顶部后的折叠岛屿改为上下对称的胶囊形,鼠标命中

  • Tencent/ncnn202610202026-10-20

    …/二进制解析,检查负数 ID、数组/字符串长度、整数/浮点边界、畸形数字及引号,补充 getter 类型检查、重载隔离和分配失败处理; ncnn2mem 同步解析和失败返回,保留整数标量到 float getter 的数值转换。(@aleff-github, @professor-moody, @beilzx) - 加强 Net 文本/二

  • mihomo-party-org/clash-partyv2.0.32026-09-20

    …保护、超时和并发安全性 其他 - 重写流量统计存储并自动迁移历史数据 - CI 新增格式、lint、类型检查及单元测试 - 更新机场服务端对接指南,并移除 https-proxy-agent 依赖 下载地址: Windows10/11: - 安装版:[64位](https://github.com/mihomo-party-org/cla

  • kangarooking/cangjie-skillv2.5.02026-08-30

    … 配套资源可交付 :单 Skill 与紧凑包均支持显式声明的 UTF-8 脚本和文本模板;路径与文件类型检查防止越界或误打包。 - 验证 :新增 26 项自动化回归(含 CLI 编译与评分),合成分流/输出样本单独标注;不把这些测试宣称为群友原书案例或所有宿主上的效果验证。 更新后的安装包 - [通用 Skill ZIP:cangjie-

  • Dramwig/FlowLinev0.1.32025-10-22

    … 模块边界更清晰:CLI 与路由解耦,降低隐式副作用。 导入更轻量:避免导入顶层时加载不必要依赖。 类型检查与文档更友好:API 所在路径一目了然,IDE 辅助更准确。 为后续扩展(如 flowline.api. 其他子模块)考虑 --- 📦 接口兼容性说明 接口兼容性说明 :本次改动为 向前兼容 ——推荐的新导入 python fro

  • Johnserf-Seed/f2v0.0.1.72024-12-31

    … douyin 直播 protobuf - 优化抖音 interval 参数的作品解析 - 完善静态类型检查 - 调整进度条显示 [ 105](https://github.com/Johnserf-Seed/f2/issues/105) - 更新 douyin 处理下载任务 - 更新 douyin 筛选日期区间作品方法 - 更新日志文件