Project Icon

pyright

高性能Python静态类型检查工具

Pyright是微软开发的Python静态类型检查工具,适用于大型项目。它提供命令行和Visual Studio Code插件两种使用方式,并支持在线体验。Pyright能够有效推断类型,帮助开发者提前识别代码问题。作为开源项目,Pyright不断吸收社区贡献,已成为Python开发中的重要工具。

pyo3 - Rust 和 Python 的桥梁 实现高性能扩展模块开发
GithubPyO3PythonRust开源项目扩展模块跨语言开发
PyO3是连接Rust和Python的开源库。它允许开发者创建Python扩展模块,也支持在Rust程序中嵌入Python。兼容Python 3.7+、CPython、PyPy和GraalPy。通过简洁API实现两种语言间的数据交互,显著提升计算密集型任务性能。适合需要Python易用性和Rust高效性的项目。
proposal-type-annotations - JavaScript类型注释提案,无需转译的静态类型支持
ECMAScript提案GithubJavaScriptTypeScript开源项目类型注解静态类型检查
proposal-type-annotations是一项ECMAScript提案,旨在为JavaScript引入类型注释功能。该提案允许开发者在代码中添加类型信息,这些信息会被JavaScript引擎视为注释而忽略。其目标是使TypeScript、Flow等静态类型JavaScript超集的用户能够直接运行代码,无需转译步骤,从而简化开发流程。这一创新可能会对JavaScript生态系统产生深远影响。
stateright - Rust实现的分布式系统验证与开发库
Actor库GithubRustStateright分布式系统开源项目模型检查
Stateright是一个Rust编写的actor库,为分布式算法提供模型检查器、行为探索UI和actor运行时。它内置线性一致性测试器,支持不变量检查、活性检查和对称归约。Stateright允许开发者验证实现的正确性,并可在实际网络上运行系统,无需重新编码。其特点包括全面的测试覆盖和灵活的网络语义选择。
pgtyped - TypeScript与PostgreSQL的类型安全查询工具
GithubPgTypedSQLTypeScript开源项目数据库查询类型安全
PgTyped是一款TypeScript工具,它能自动为PostgreSQL数据库的SQL查询生成类型定义和接口。该工具支持从SQL和TypeScript文件中提取查询,实时生成类型,并提供参数插值功能。PgTyped通过安全的参数替换机制确保类型安全并防止SQL注入,为开发者提供了一种高效且安全的数据库交互方式。
pybind11-stubgen - 自动生成Python扩展模块类型存根文件的开源工具
GithubIDE支持Python扩展pybind11-stubgen存根生成开源项目静态分析
pybind11-stubgen是一个为Python扩展模块生成类型存根文件的开源工具。它可自动创建存根文件,帮助静态分析工具和IDE更好地理解和处理二进制扩展。虽然针对pybind11编译的模块进行了优化,但也适用于其他库构建的模块。通过命令行操作,开发者可以生成存根文件,提高Python项目的开发效率和代码质量。
pretty-ts-errors - VSCode扩展美化TypeScript错误信息
GithubPretty TypeScript ErrorsVSCode开发工具开源项目类型错误语法高亮
Pretty TypeScript Errors是一个VSCode扩展,可美化和简化TypeScript错误信息。它提供语法高亮、错误定位和在线解释功能,支持Node、Deno和React等多种环境。该扩展适用于.ts、.js、.jsx、.tsx和.mdx文件中的JSDoc类型错误,以及Astro、Svelte和Vue文件中启用TypeScript时的错误。它还包括一键导航至相关类型声明和在线错误解释资源的功能,旨在提高开发效率,帮助开发者更快地识别和解决TypeScript相关问题。
ai-codereviewer - 自动化代码审查工具,提高代码质量
AI Code ReviewerGPT-4GitHub ActionGithubOpenAI代码审查开源项目
AI Code Reviewer使用OpenAI的GPT-4 API,为拉取请求提供智能反馈与建议,自动化代码审查过程,提高开发效率与代码质量。支持文件排除设置,易于集成到GitHub工作流中。
blender_vscode - VS Code扩展助力Blender插件和脚本开发
BlenderGithubVS Code开源项目插件开发脚本工具调试
blender_vscode是一个VS Code扩展,为Blender开发者提供插件创建、管理和脚本编写工具。它集成了Blender与VS Code,支持实时重载和调试,简化了开发流程。该扩展适用于各级开发者,提供直观的界面和实用功能,有助于提高Blender插件开发效率。
types-with-jsdocs - JSDoc实现TypeScript类型检查的开源实验项目
GithubJSDocJavaScriptTypeScript代码文档开源项目类型检查
该项目展示了如何在JavaScript中利用JSDoc实现TypeScript类型检查。仓库包含React应用类型使用示例,介绍了全局TS检查和错误忽略方法。项目还汇集了JSDoc、类型转换和文档生成等相关资源,为开发者提供全面的参考材料。
github-roast - 基于OpenAI的智能代码审查工具,结合SvelteKit技术
Cloudflare D1Cloudflare PagesGitHub RoastGithubOpenAISvelteKit开源项目
GitHub Roast是一个代码审查工具,利用OpenAI的gpt-4o-mini模型提供智能化的代码分析和反馈。该项目基于SvelteKit构建,使用Cloudflare Pages部署,并支持Cloudflare D1数据库。GitHub Roast具有简单的设置和部署流程,为开发者提供高效的代码质量提升体验。项目提供了详细的设置指南,包括创建Cloudflare D1数据库、导入数据和部署到Cloudflare Pages的步骤,方便开发者快速上手和使用。
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

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

Project Cover

AI写歌

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

Project Cover

有言AI

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

Project Cover

Kimi

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

Project Cover

阿里绘蛙

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

Project Cover

吐司

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

Project Cover

SubCat字幕猫

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

Project Cover

美间AI

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

Project Cover

稿定AI

稿定设计 是一个多功能的在线设计和创意平台,提供广泛的设计工具和资源,以满足不同用户的需求。从专业的图形设计师到普通用户,无论是进行图片处理、智能抠图、H5页面制作还是视频剪辑,稿定设计都能提供简单、高效的解决方案。该平台以其用户友好的界面和强大的功能集合,帮助用户轻松实现创意设计。

投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号