Project Icon

mazeppa

现代超级编译器 函数式程序优化工具

Mazeppa是一款现代超级编译器,专为优化函数式程序而设计。它通过分析执行模式来提升程序效率,支持全面的基本数据类型,并允许手动控制函数展开。Mazeppa的决策过程完全透明,能够实现去森林化、部分求值等多种优化,甚至具备一定的定理证明能力。该编译器为call-by-value函数式语言提供了强大的优化支持,是一个高效的程序转换工具。

moka - Rust高性能并发缓存库 优化的缓存替换算法
GithubMokaRust并发缓存开源项目线程安全高性能
Moka是一个快速、并发的Rust缓存库,基于哈希表实现。它支持高并发检索和更新,采用先进的缓存替换算法实现容量限制。Moka提供同步和异步缓存、基于数量或权重的边界、过期策略和驱逐监听等功能,适用于需要高性能缓存的Rust项目。
glaze - 高性能JSON库 内存直接读写与编译时反射
GithubGlazeJSON库反射序列化开源项目性能
Glaze是一款高性能开源JSON库,支持直接内存读写和编译时反射。它无需额外元数据即可处理聚合可初始化结构,兼容MSVC、Clang和GCC。Glaze还集成了BEVE二进制编码和CSV格式支持,为JSON数据处理提供全面解决方案。
moatless-tools - Moatless Tools 利用大语言模型优化大型代码库
GithubLLMMoatless ToolsSWE-Bench代码编辑开源项目有限状态机
Moatless Tools是一个开源项目,致力于探索大语言模型在编辑大型代码库中的应用。该项目通过构建工具插入上下文并处理响应,而非依赖代理推理。在SWE-Bench基准测试中,Moatless Tools使用GPT-4o和Claude 3.5 Sonnet取得了显著成果。项目采用基于有限状态机的循环,包含搜索、识别和计划编码等功能,实现了高效的代码编辑。
porffor - 从零构建的JavaScript到WebAssembly编译器和运行时
AOT编译GithubJavaScript编译器PorfforWebAssembly开源项目性能优化
Porffor是一个从零开始构建的JavaScript到WebAssembly/C编译器和运行时。它采用全AOT编译,无常量运行时代码,最少化Wasm导入。Porffor支持部分JavaScript功能,包括基本语言特性、内置函数和一些提案。项目还包含Wasm引擎Asur、正则表达式引擎Rhemyn和Wasm到C编译器2c。Porffor在支持的功能范围内性能表现优异,尤其是编译为原生二进制文件时。
mir - 多平台轻量级JIT编译器框架
GithubJIT编译器MIR中间表示代码优化开源项目编译器项目
MIR是一个轻量级JIT编译器框架,为快速高效的即时编译器实现提供基础。支持x86_64、ARM64、POWER等多种架构,采用强类型中间表示。MIR提供API用于创建模块、函数和指令,支持二进制和文本格式代码处理。编译器使用简化优化流程,包括函数内联和全局公共子表达式消除等,在编译速度和代码性能间取得平衡。MIR适用于需要快速、轻量级JIT编译的项目开发。
binaryen - WebAssembly编译器和优化工具链库
BinaryenGithubWebAssembly优化工具链开源项目编译器
Binaryen是一个C++编写的WebAssembly编译器和工具链库。它提供C和JavaScript API,支持WebAssembly输入,内部IR支持并行优化。其优化器可改善代码大小和性能,能作为独立编译器后端。Binaryen简化了WebAssembly的编译和优化过程。
swc - 用 Rust 打造的高性能 TypeScript 和 JavaScript 编译器
GithubJavaScriptRustSWCTypeScript开源项目编译器
SWC(Speedy Web Compiler)是一款用 Rust 开发的高性能 TypeScript 和 JavaScript 编译器。它既可作为 Rust 库使用,也是强大的 JavaScript 开发工具。SWC 以快速编译和丰富功能著称,支持最新 JavaScript 特性,旨在提升 Web 开发效率。这个开源项目由社区驱动,持续优化,为开发者带来更快捷、更强大的开发体验。
babel - JavaScript转译器,跨版本兼容的代码转换工具
BabelGithubJavaScript编译器开源项目社区驱动跨版本兼容
Babel是一个广泛应用的JavaScript转译器,可将新版本JavaScript代码转换为兼容旧环境的版本。这个开源项目支持最新的语言特性,并提供插件系统供开发者自定义转换过程。Babel在前端开发中扮演重要角色,帮助开发团队编写现代化的JavaScript代码,同时保证在各种浏览器和运行环境中的兼容性。
llm-compiler-7b - 一种用于增强代码优化的先进语言模型
GithubHuggingfaceLLVMMeta Large Language Model Compiler代码优化开源开源项目模型编译器优化
Meta的LLM Compiler是一款编译器优化语言模型,基于Code Llama构建,提升了对编译器中间表示与汇编语言的理解。LLM Compiler提供7B和13B两个版本,能够预测LLVM优化效果,在代码优化与反汇编任务中表现优异,实现了显著的代码优化和反汇编准确性。这一模型适用于研究与商业用途,助力开发者提高代码优化效率。
mamba - C++重构的conda替代品 高效并行包管理工具
C++Githubcondamambamicromamba包管理器开源项目
mamba是conda包管理器的C++重构版本,利用多线程并行下载和libsolv库实现快速依赖解决。它保持与conda的兼容性,同时新增repoquery等功能。作为科学软件生态系统的一部分,mamba致力于提升包管理效率和可持续性。其纯C++实现micromamba在CI/CD中的setup-micromamba功能广受欢迎,进一步提高了开发效率。
项目侧边栏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号