Logo
Project Icon

HVM

实现高级语言大规模并行计算的开源工具

HVM2并行计算交互组合子编程语言编译GPU加速Github开源项目

HVM2是一个开源的大规模并行评估器，基于交互组合子理论。它可以将Python、Haskell等高级语言编译成能在GPU等并行硬件上高效运行的程序。作为HVM1的改进版，HVM2在简洁性、速度和正确性方面都有提升。项目提供低级IR语言用于描述HVM2网络，并支持编译为C和CUDA代码。对于需要高级语言接口的用户，可以使用配套的Bend项目。

访问官网访问官网GithubGithub论文论文
介绍相关项目
gigahorse-toolchain - 开源智能合约反编译和分析框架
EVMGigahorseGithub反编译开源项目智能合约静态分析
Gigahorse是一个开源的以太坊智能合约反编译和分析工具链。它将低级EVM代码转换为类似LLVM IR的高级三地址表示。该工具提供多种上下文敏感性配置，支持函数内联，可与各类客户端分析工具集成。Gigahorse为智能合约研究和安全分析奠定了基础，已在多个学术项目和实时分析平台中得到应用。
v - 简洁高效的跨平台编程语言 具备安全性和高性能
GithubV语言开源开源项目编程语言跨平台高性能
V语言以简洁易学著称，具备快速编译、高性能和内存安全等优势。它提供C代码转译、热重载和跨平台UI库等实用功能。V可用于开发各种项目，从底层系统到Web应用，甚至包括Vinix操作系统内核。该语言设计稳定，承诺保持小巧简单的核心特性。V生态系统完善，为开发者提供全面的工具支持。
thundersvm - GPU加速的开源支持向量机库
GPU加速GithubThunderSVM并行计算开源项目支持向量机机器学习
ThunderSVM是一个开源的支持向量机库，通过GPU和多核CPU加速计算，显著提高SVM训练效率。该库实现了LibSVM的全部功能，支持一类SVM、SVC、SVR和概率SVM等多种模型。ThunderSVM提供Python、R、Matlab和Ruby等多种编程语言接口，跨平台兼容Linux、Windows和MacOS。采用与LibSVM一致的命令行参数，便于用户快速上手。作为高效的SVM实现，ThunderSVM为数据科学家和机器学习研究者提供了强大的工具支持。在某些大规模数据集上，ThunderSVM相比传统SVM实现可实现10-100倍的加速，已被多个知名机器学习项目采用。
LVM - 大规模视觉模型的创新顺序建模方法
GithubLVM大规模视觉模型序列建模开源项目视觉句子视觉预训练模型
LVM是一种创新视觉预训练模型，将多种视觉数据转化为视觉句子，并进行自回归式标记预测。该模型采用顺序建模方法，无需语言数据即可学习大规模视觉模型。通过设计视觉提示，LVM可解决多种视觉任务。兼容GPU和TPU，为大规模视觉模型学习提供新方法。
BERT-GPU - 单机多GPU加速BERT预训练的开源实现
BERTGithub多GPU预训练开源项目数据并行深度学习自然语言处理
BERT-GPU项目为BERT模型在单机多GPU环境下的预训练提供了开源实现。该项目无需Horovod即可实现数据并行，通过增加GPU数量扩大批处理规模，从而加速训练过程。项目包含详细的训练流程和参数配置说明，并提供了下游任务的实验结果。这种方法在维持模型性能的同时，有效提升了预训练效率。
vram-80 - 优化大型语言模型微调的开源工具
GithubHuggingfacetransformers人工智能开源项目机器学习模型深度学习自然语言处理
vram-80是一个开源项目，旨在优化大型语言模型的微调过程。该工具通过先进的显存管理技术，使得在有限计算资源下也能进行高效的模型微调。vram-80支持LoRA和QLoRA等多种微调方法，并提供简洁的接口，方便研究人员和开发者定制和优化语言模型。这个项目不仅提高了微调效率，还降低了硬件要求，为AI领域的研究和应用提供了有力支持。
LLM-Blender - 多模型集成和生成优化增强LLM性能
GenFuserGithubLLM-BlenderMixInstructPairRMPairRanker开源项目
LLM-Blender通过利用多种开源大型语言模型的优势，采用成对比较和生成融合方法，显著提升模型性能。其框架包括PairRanker和GenFuser模块，并提供MixInstruct数据集进行大规模评估。该项目展示了其强大功能，并支持简单安装和多种使用场景。
MiniCPM-V-2 - 多模态语言模型，支持跨平台高效部署
GithubHuggingfaceMiniCPM-V场景文本理解多模态开源项目模型深度学习视觉问答
MiniCPM-V 2.0是一个多模态大模型，以高效端侧部署和可靠性为特色，支持OCRBench和TextVQA等基准测试。该模型结合RLHF多模态技术，减少幻觉生成，并能处理任意宽高比的高分辨率图像。MiniCPM-V 2.0可在多数GPU和PC上高效运行，拥有中英双语支持，并能够在移动设备上执行，提供多种部署选择。
prometheus-eval - 前沿的大语言模型生成任务评估工具
BiGGen-BenchGithubPrometheus 2 BGBPrometheus-Eval开源项目评估语言模型
Prometheus-Eval是一个评估生成任务中大型语言模型（LLMs）的开源项目。最新的Prometheus 2版本内置多种高性能评估模型，并集成了提供9项核心能力、77个任务和765个实例的BiGGen-Bench评估平台。该项目支持本地推理和通过VLLM及LLM API进行远程评估，且能够方便地在Python环境中安装和使用。项目持续更新，以确保评估的准确性和效率。访问官方仓库获取更多信息。
heavydb - 开源关系型列式数据库引擎 支持CPU和GPU高性能计算
GPU加速GithubHeavyDBSQL大数据处理开源项目数据库引擎
HeavyDB是一款开源的SQL关系型列式数据库引擎，利用CPU和GPU的并行计算能力，可在毫秒级查询数十亿行数据，无需索引或预处理。支持混合CPU/GPU及纯CPU系统，采用多级缓存和即时查询编译技术优化性能。适用于大规模数据分析场景，提供高效的查询处理能力。
相关项目
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

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

Project Cover

AI写歌

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

Project Cover

白日梦AI

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

Project Cover

有言AI

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

Project Cover

Kimi

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

Project Cover

讯飞绘镜

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

Project Cover

讯飞文书

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

Project Cover

阿里绘蛙

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

Project Cover

AIWritePaper论文写作

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

使用协议隐私政策广告服务
投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号