typos

快速准确的源代码拼写检查器

typos是一款专为源代码设计的拼写检查器。它在大型代码库中能高效查找并修正拼写错误，同时保持低误报率。支持GitHub Actions、pre-commit等多种集成方式，并提供自定义选项。typos具有灵活的配置能力，可有效处理误报。适用于个人开发者和团队，能显著提升代码质量。

访问官网

pyre-check - 高性能Python类型检查器支持大规模代码增量分析

GithubPyrePysaPython开源项目类型检查静态分析

Pyre是一款符合PEP 484标准的高性能Python类型检查器，能对大规模代码库进行增量分析，为开发者提供即时反馈。项目还包含Pysa，一个基于Pyre的安全导向静态分析工具。Pyre支持Python 3.8及以上版本，安装配置简便。通过命令行接口，Pyre能快速检测类型错误，有助于提升代码质量和安全性。

watermelon-vscode - 开源智能代码审查助手提升效率

GithubVisual Studio CodeWatermelon上下文搜索代码审查开源工具开源项目

Watermelon for Visual Studio Code是一款开源代码审查工具，通过分析代码上下文和静态代码分析预审GitHub拉取请求。该扩展运用机器学习技术检测错误，比对意图与实现，并进行初步健康检查。它支持悬停获取上下文和完整代码上下文功能，集成GitHub、GitLab、Jira等多个平台，旨在提高代码审查效率。

grype - 容器镜像和文件系统漏洞扫描利器

GithubGrype安全容器镜像开源开源项目漏洞扫描

Grype是一款开源的容器镜像和文件系统漏洞扫描工具。它可扫描主流操作系统包和多种编程语言依赖,支持Docker、OCI和Singularity格式。Grype提供多种输出格式,可集成CI/CD流程,支持按严重程度过滤结果。通过配置可忽略误报,与Syft工具协同实现全面的软件成分分析和漏洞管理。

tygo - 从Golang源文件生成Typescript类型，保留注释并支持常量

GithubGolangTygoTypescript开源项目注释保留类型转换

Tygo是一个用来将Golang源文件转化为Typescript类型的工具，能够自动保留注释，识别常量，并支持非结构体类型表达。适用于基于Golang REST API的前端代码，全面支持Golang 1.18的泛型和结构体继承。用户可以通过CLI或库模式进行配置和使用，轻松完成类型转换。

Pixeebot - 智能代码安全与质量提升助手

AI工具Pixeebot代码质量安全修复开发流程自动化工具

Pixeebot是智能代码安全工具,实时监控代码仓库和pull请求,自动生成安全修复方案。它无缝融入开发流程,兼容多种编程语言,分析SAST工具扫描结果。除提升代码安全性外,还优化性能和质量。Pixeebot通过自动化手段,帮助开发团队提高工作效率,专注解决关键问题。

fast-check - JavaScript和TypeScript的高效属性测试框架

GithubJavaScriptTypeScriptfast-check属性测试开源项目测试框架

fast-check是一个为JavaScript和TypeScript设计的属性测试框架。它具有内置随机数生成器、自定义生成器支持、智能缩小功能和调试选项。该框架有助于发现代码中的边界情况和潜在问题，被Jest、Jasmine等项目采用，并在多个开源项目中发现过重要缺陷。

pylyzer - Rust打造的高速Python代码分析工具

GithubPythonpylyzer开源项目性能语言服务器静态代码分析

pylyzer是一款用Rust开发的Python静态代码分析工具，具有显著的性能优势。该工具提供清晰的错误报告和全面的LSP功能，支持类型检查、推断和内置模块解析。pylyzer基于Erg编程语言的类型系统，可作为VSCode扩展使用，为Python开发者提供高效的代码分析体验。

precommit - R语言的Git提交前代码检查工具

GithubR语言pre-commit hooks代码质量开源项目版本控制自动化测试

precommit是一个面向R语言的Git钩子工具，为R代码仓库提供了一系列实用的检查机制。它可在本地提交前或通过CI执行检查，包括代码解析、样式规范等多项内容，有助于提升代码质量。该工具还提供了便捷的安装和配置功能，类似于usethis包。通过在代码提交前捕获常见错误，precommit有效提高了R项目的开发效率和代码标准。

semgrep - 多语言代码扫描工具快速检测漏洞并执行标准

GithubSemgrep代码扫描安全漏洞检测开源软件开源项目静态分析

Semgrep是一款快速开源的静态分析工具，支持30多种编程语言。它使用简单的类代码规则语法，无需复杂的抽象语法树或正则表达式。Semgrep可在编辑器、代码提交和CI阶段进行代码搜索、bug检测和标准执行。该工具提供社区版和企业版，包含代码扫描、供应链安全和秘密检测功能，可在本地或CI/CD环境中部署，有效提升代码质量和安全性。

static-analysis - 综合静态分析工具库助力代码质量提升

Github代码质量多语言支持安全检查开源工具开源项目静态分析

static-analysis项目汇集了适用于各类编程语言、构建工具和配置文件的静态分析工具,重点收录代码检查器和格式化工具等提升代码质量的工具。项目官网analysis-tools.dev在此基础上增添了工具排名、用户评论及视频等扩展资源。涵盖ABAP至YAML等多种语言,同时覆盖容器、安全等领域,为开发者提供了全面的静态代码分析工具参考。

相关项目

推荐项目

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手，通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能，支持100+编程语言，与主流编辑器无缝集成，显著提升开发效率和代码质量。

AI写歌

Suno AI是一个革命性的AI音乐创作平台，能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐，Suno AI都是音乐爱好者和专业人士的理想选择。

白日梦AI

白日梦AI提供专注于AI视频生成的多样化功能，包括文生视频、动态画面和形象生成等，帮助用户快速上手，创造专业级内容。

有言AI

有言平台提供一站式AIGC视频创作解决方案，通过智能技术简化视频制作流程。无论是企业宣传还是个人分享，有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Kimi

Kimi AI助手提供多语言对话支持，能够阅读和理解用户上传的文件内容，解析网页信息，并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题，Kimi都能以友好、专业的方式提供帮助。

讯飞绘镜

讯飞绘镜是一个支持从创意到完整视频创作的智能平台，用户可以快速生成视频素材并创作独特的音乐视频和故事。平台提供多样化的主题和精选作品，帮助用户探索创意灵感。

讯飞文书

讯飞文书依托讯飞星火大模型，为文书写作者提供从素材筹备到稿件撰写及审稿的全程支持。通过录音智记和以稿写稿等功能，满足事务性工作的高频需求，帮助撰稿人节省精力，提高效率，优化工作与生活。

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术，为商家提供一键生成商品图和营销文案的服务，显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台，让商品第一时间被种草。

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具，简化了选题、文献检索至论文撰写的整个过程。通过简单设定，平台可快速生成高质量论文大纲和全文，配合图表、参考文献等一应俱全，同时提供开题报告和答辩PPT等增值服务，保障数据安全，有效提升写作效率和论文质量。

使用协议隐私政策广告服务

投诉举报邮箱: service@vectorlightyear.com