typos

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

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

访问官网

gptlint - 通过LLM强化代码质量的先进静态分析工具

ESLintGPTLintGithubLLM代码质量开源项目静态分析

GPTLint利用大语言模型（LLMs）在代码库中应用高级最佳实践，超过传统静态分析工具如ESLint。它支持自定义和项目专用规则以及内容缓存，兼容主要LLM提供商和本地模型，提供详尽的运行统计。目前，仅支持JS/TS和单文件上下文，不支持自动修复。

torchtyping - 张量类型注解工具，支持形状和数据类型检查

GithubPyTorchPythontorchtypingtype annotations开源项目检测类型

一种适用于PyTorch的工具，用于对张量的形状和数据类型进行类型注解，通过编程检查确保张量规范，减少错误。支持多种注解，具有高度的可扩展性，包括形状、数据类型和维度名称。与typeguard集成，可进行运行时类型检查，提升代码的可读性和健壮性。

lychee - Rust编写的高效链接检查工具支持多种文本格式

GitHub ActionGithubRustlychee命令行工具开源项目链接检查

Lychee是一款Rust编写的高效链接检查工具，可在多种文本文件和网站中查找失效超链接与邮件地址。它提供命令行、库和GitHub Action接口，支持并行检查、自定义请求头、状态码过滤等功能。Lychee能处理分块编码和GZIP压缩，性能出色，适合维护文档完整性。

language_tool_python - Python语法检查工具，支持本地和远程服务器

GithubLanguageToolPythonlanguage_tool_python开源项目拼写检查语法检查

language_tool_python是LanguageTool的Python封装库，支持语法和拼写错误检测。它能在本地服务器和远程HTTP校对API之间自由切换，并允许自定义错误匹配和自动纠正。适用于多种语言，提供多种配置选项如缓存和最大文本长度设置。还支持命令行和上下文管理器，方便集成到Python项目中。

awesome-python-typing - Python类型注解全面资源指南

GithubPythonmypy动态类型开源项目类型检查静态类型

autotyping - Python代码自动类型注解工具

GithubLibCSTPythonautotyping代码重构开源项目类型注释

autotyping是一个Python代码自动类型注解工具，可为函数的返回值、参数和魔术方法添加类型信息。它支持多种类型推断策略，通过命令行操作即可为代码添加类型注解，提升代码可读性。该工具还可与外部工具集成，为Python项目的静态类型检查提供支持。

texpresso - 为LaTeX编辑提供实时渲染和即时错误反馈

GithubLaTeXPDF渲染TeXpresso实时渲染开源项目编辑器集成

TeXpresso是一个开源的LaTeX编辑辅助工具，其核心特点是实时渲染和即时错误反馈。它可以与Emacs、Neovim和Visual Studio Code等编辑器集成，让编辑者能够即时看到文档变化。TeXpresso的查看器支持页面导航、缩放和主题切换等功能，进一步优化了LaTeX编辑体验。该项目目前处于活跃开发阶段，不断进行功能改进和问题修复。

alex - 智能检测并改进文本中的不当用语

CLI工具Githubalex写作辅助包容性语言开源项目文本分析

alex是一款开源的智能写作辅助工具，专注于检测和改进文本中的不当用语。它能识别潜在的性别歧视、种族相关或其他不平等的措辞，提供替代建议以增强文字的包容性。支持多种格式如纯文本、HTML、MDX和Markdown，alex适用于个人写作和文章审阅，有效提升文字质量和社会意识。

Grammarly - 免费AI写作助手

AI写作工具AI助手AI工具AI辅助写作Grammarly企业解决方案抄袭检查器热门语法检查

Grammarly——领先的AI写作平台，提供专业的写作样式与语法改进建议。支持各类设备和平台，确保写作过程的高效与安全，被全球超过3000万用户及70000团队信赖。无论学生、专业人士或企业，Grammarly都能提升你的写作质量。

typed.js - 轻量级JavaScript打字动画库

GithubJavaScript库Typed.js前端开发开源项目打字效果文字动画

Typed.js是一个轻量级JavaScript库，用于创建流畅的打字动画效果。它支持模拟打字、删除和重新输入文本，可自定义速度、暂停和循环。该库集成简便，兼容CDN、ESM和主流前端框架，能有效提升网站的互动性。Typed.js已在Slack和GitHub等知名网站应用，为开发者提供了实现吸引眼球的文字动画的简单方案。

相关项目

推荐项目

豆包MarsCode

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

AI写歌

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

有言AI

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

Kimi

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

阿里绘蛙

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

吐司

探索Tensor.Art平台的独特AI模型，免费访问各种图像生成与AI训练工具，从Stable Diffusion等基础模型开始，轻松实现创新图像生成。体验前沿的AI技术，推动个人和企业的创新发展。

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器，它将改变您观看视频的方式！SubCat结合了先进的人工智能技术，为您提供即时视频字幕翻译，无论是本地视频还是网络流媒体，让您轻松享受各种语言的内容。

美间AI

美间AI创意设计平台，利用前沿AI技术，为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图，再到文案生成，美间让创意设计更简单、更高效。

AIWritePaper论文写作

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

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

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