Project Icon

sirius

开源框架实现高效可增量验证计算

Sirius是一个开源的Plonkish折叠框架,为可增量验证计算(IVC)提供解决方案。其三层架构包括算术化层、折叠方案层和SNARK层,能够高效累积和验证多步计算。项目正在开发中,未来将实现高度门优化、cyclefold集成和GPU加速等功能,以满足区块链等领域对高效验证的需求。

kserve - 跨平台机器学习模型服务,提供高效扩展性强的推理功能
GithubKServeKubernetes开源项目机学习模型部署模型推理平台高可扩展性
KServe 提供 Kubernetes 自定义资源定义,支持多种机器学习框架,使用标准化推理协议进行预测和生成模型服务。它简化了自动扩展、网络配置和健康检查的复杂性,支持 GPU 自动扩展、零容量和金丝雀部署等高级功能,适用于生产级的机器学习服务,涵盖预处理、后处理和可解释性。更多信息请访问官网。
Osiris - Counter-Strike 2 开源跨平台辅助工具
Counter-Strike 2GithubOsiris开源项目游戏外挂跨平台
Osiris是一款为Counter-Strike 2开发的开源跨平台辅助工具,支持Windows和Linux系统。该工具基于游戏的Panorama UI提供图形界面和渲染功能,与Steam最新版本兼容。Osiris采用无CRT库和堆内存分配的技术架构,具有高度优化的性能。最新版本引入了'回合后计时器'HUD功能,增强了游戏信息展示。作为持续更新的开源项目,Osiris为CS2玩家提供了丰富的辅助功能。
giskard - LLM和ML模型的评估和测试框架
AI模型GiskardGithubLLM偏见检测安全性开源项目
Giskard是一个开源的Python库,旨在自动检测AI应用中的性能、偏差和安全问题。支持LLM和传统的ML模型,功能涵盖自动生成评估数据集、评估RAG应用答案、检测幻觉、生成有害内容及敏感信息泄露等问题。Giskard可无缝集成到各种环境中,并提供详细文档和示例代码,适用于各类AI开发者。
StarryDivineSky - 利用先进技术实时探索星空中的天文现象
Github开源项目
StarryDivineSky通过先进技术提供实时星空观测数据和3D可视化,用户可以探索星座、行星及其他天文现象。该项目提供个性化定制服务,适合天文爱好者和专业研究者,广泛应用于教育、科研及娱乐。
gigahorse-toolchain - 开源智能合约反编译和分析框架
EVMGigahorseGithub反编译开源项目智能合约静态分析
Gigahorse是一个开源的以太坊智能合约反编译和分析工具链。它将低级EVM代码转换为类似LLVM IR的高级三地址表示。该工具提供多种上下文敏感性配置,支持函数内联,可与各类客户端分析工具集成。Gigahorse为智能合约研究和安全分析奠定了基础,已在多个学术项目和实时分析平台中得到应用。
mlir-aie - MLIR驱动的AI引擎工具链 助力AI设备性能优化
AI EngineAMDGithubMLIRRyzen AIVersal开源项目
mlir-aie是一个基于MLIR的开源工具链,专为AMD Ryzen™ AI和Versal™等AI引擎设备设计。它通过多层抽象的MLIR表示,实现AI引擎核心编程、数据移动和阵列连接描述。项目提供Python API接口,支持后端代码生成,并集成AMD Vitis™软件中的AI引擎编译器。作为面向工具开发者的项目,mlir-aie提供AIE设备的低级访问,促进多样化编程模型的开发。
smile - Java与Scala的高性能机器学习引擎
GithubSmile分类算法开源项目数据可视化机器学习自然语言处理
Smile是一个高效且全面的机器学习系统,支持Java和Scala,包含自然语言处理、线性代数、图形、插值和可视化功能。其先进的数据结构和算法提供卓越性能,涵盖分类、回归、聚类、关联规则挖掘、特征选择、多维缩放、遗传算法、缺失值插补和高效近邻搜索等领域。用户可以通过Maven中央库使用,并在Smile网站找到编程指南和详细信息。
stateright - Rust实现的分布式系统验证与开发库
Actor库GithubRustStateright分布式系统开源项目模型检查
Stateright是一个Rust编写的actor库,为分布式算法提供模型检查器、行为探索UI和actor运行时。它内置线性一致性测试器,支持不变量检查、活性检查和对称归约。Stateright允许开发者验证实现的正确性,并可在实际网络上运行系统,无需重新编码。其特点包括全面的测试覆盖和灵活的网络语义选择。
openzeppelin-contracts - 智能合约开发的安全基石
ERC标准GithubOpenZeppelin以太坊安全开发开源项目智能合约
OpenZeppelin Contracts是一个专注于智能合约安全开发的库,提供经社区验证的代码基础。该库实现了ERC20、ERC721等标准,具备灵活的基于角色的权限控制机制,并提供可重用的Solidity组件。项目严格遵循安全开发准则,定期进行安全审计。开发者可通过npm或Foundry轻松集成这些合约,为构建可靠的去中心化应用提供有力支持。
nop-entropy - 基于可逆计算实现高效软件复用的低代码平台
GithubGraalVMNop Platform 2.0Quarkus低代码平台可逆计算开源项目
Nop Platform 2.0基于可逆计算理论开发,旨在突破低代码平台的局限,实现高效软件复用。平台支持与Quarkus、Spring和Solon框架集成,并通过GraalVM技术编译成原生可执行程序,提高启动速度。nop-entropy设计为用户友好的领域语言工作台,支持自动生成解析器、验证器、IDE插件等。平台内置分布式事务、多租户支持,既可单机运行也可作为分布式集群提供API服务,显著降低手工编码需求,支持增量开发和在线业务模块调整。
项目侧边栏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号