Project Icon

riot

Riot 为 OCaml 5 引入轻量级进程和消息传递的并发模型

Riot 是一个为 OCaml 5 设计的 actor 模型多核调度器,通过轻量级进程和消息传递实现 Erlang 风格的并发。它提供自动多核调度、快速类型安全的消息传递和选择性接收表达式等核心功能。Riot 还包括监督器、日志记录、遥测和通用服务器接口,支持构建复杂的并发系统。

riemann - 分布式系统的实时监控与事件处理平台
GithubRiemann事件聚合分布式系统监控开源项目服务器监控流处理语言
Riemann是一个开源的分布式系统监控工具,采用先进的流处理语言聚合服务器和应用程序的事件数据。它提供实时监控、快速分析和响应系统状态变化的功能。Riemann适用于大规模集群和复杂的微服务架构,为提高系统稳定性和性能提供可靠的监控解决方案。作为一个开源项目,Riemann拥有活跃的社区支持和持续的开发更新。
disruptor-rs - Rust实现的高性能跨线程通信库
DisruptorGithubRust低延迟并发编程开源项目线程通信
disruptor-rs是一个Rust实现的高性能跨线程通信库。支持多种生产者-消费者模式,提供批量事件处理功能。专注低延迟设计,基准测试优于Crossbeam。支持线程亲和性设置和处理器线程命名,适用于对延迟敏感的应用场景。
tokio - Rust异步应用程序的高性能运行时框架
GithubI/ORustTokio并发开源项目异步编程
Tokio是Rust语言的异步运行时框架,提供事件驱动和非阻塞I/O功能。它具有高性能的多线程调度器、操作系统级事件处理和异步网络编程支持。Tokio专为构建高效、可靠的网络应用而设计,是Rust异步编程生态系统的核心组件。
awesome-ocaml - OCaml资源与工具大全 从入门到精通
GithubOCaml函数式编程开发工具开源项目编程语言
本指南汇集了OCaml语言的核心资源,包括工具、框架、库和文章。涵盖了从社区到算法,从应用库到代码分析等多个方面,是OCaml开发者不可或缺的参考。同时提供免费书籍、论文和演示文稿,助力开发者全面掌握OCaml。
stateright - Rust实现的分布式系统验证与开发库
Actor库GithubRustStateright分布式系统开源项目模型检查
Stateright是一个Rust编写的actor库,为分布式算法提供模型检查器、行为探索UI和actor运行时。它内置线性一致性测试器,支持不变量检查、活性检查和对称归约。Stateright允许开发者验证实现的正确性,并可在实际网络上运行系统,无需重新编码。其特点包括全面的测试覆盖和灵活的网络语义选择。
cpp-rotor - 基于事件循环的高性能C++ Actor微框架
C++GithubRotoractor框架事件循环开源项目消息传递
cpp-rotor是一个C++ Actor微框架,支持wx、Boost.Asio和libev等多种事件循环。它实现了Erlang式的分层监督、异步消息传递和请求-响应模式。该框架跨平台兼容Windows、macOS和Linux,拥有优异的消息吞吐性能。cpp-rotor适合开发响应式、可靠的应用,其设计参考了响应式宣言和SObjectizer项目的理念。
wasmcloud-otp - 基于OTP的WebAssembly actor模型运行时
ElixirGithubNATSOTPWebAssemblywasmCloud开源项目
wasmCloud-otp是一个基于OTP框架的WebAssembly运行时,为actor和能力提供者提供托管和调度。它利用WebAssembly的优势,支持开发者编写无样板代码的actor模型应用。该项目包含主机核心和仪表板Web UI,支持实时监控和控制,通过NATS实现lattice功能。虽已被弃用,但仍是学习WebAssembly和分布式系统的有价值资源。
orch - Rust语言模型库简化AI应用开发
GithubRustorch应用开发开源项目结构化数据生成语言模型
orch作为Rust生态系统中的一员,为开发者提供了构建语言模型应用的便捷工具。该库集成了文本生成、流式处理、结构化输出和向量嵌入等核心功能,并通过灵活的API设计,实现了与Ollama等模型的无缝对接。orch适用于多种AI应用场景,包括但不限于聊天机器人和智能助手的开发。
zio-actors - 基于ZIO的高性能函数式Actor编程库
Actor ModelGithubZIO Actors并发计算开源项目消息传递状态隔离
ZIO Actors是基于ZIO构建的函数式Actor库,用于开发类型安全的分布式系统。它实现了Actor模型,支持状态隔离、消息处理、持久化和远程通信。该库适用于构建可扩展应用,并支持与Akka actors互操作。
elixir - 动态函数式编程语言 专注可扩展应用开发
ElixirGithub函数式编程动态语言可扩展性可维护性开源项目
Elixir是一种动态函数式编程语言,专注于构建可扩展和易维护的应用程序。该语言具备出色的并发性能,支持分布式系统开发,并提供强大元编程功能。Elixir基于Erlang虚拟机运行,继承了其稳定性和容错特性。凭借友好语法和丰富标准库,Elixir适用于Web开发、物联网和数据处理等多个领域。活跃的社区持续推动Elixir的发展与完善。
项目侧边栏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号