Choral:面向Java的编舞式编程
摘要
Choral是一种面向Java的编舞式编程语言,让开发者能够在单个程序中编写分布式系统,并由编译器生成端点代码。
暂无内容
查看缓存全文
缓存时间: 2026/08/11 05:40
来源:https://www.choral-lang.org/
请启用 JavaScript 以查看页面内容。您的支持 ID 是:17673792510445926021。此问题用于测试您是否为人类访客,以防止自动垃圾邮件提交。
您的浏览器不支持 Red dotAudio。bottle (https://www.choral-lang.org/#)
**图片中的验证码是什么?**您的支持 ID 是:17673792510445926021。
相似文章
Rust 中的编舞式编程
Hibana 是一个 Rust crate,它允许程序根据一个全局编舞(choreography)执行多角色有限协议,将编舞投影为每个角色的紧凑程序,并在 no_std、无分配器的运行时中强制每个 send/recv/route 步骤都符合协议。它支持最多 256 个角色、异步操作与仿射端点,适用于托管环境和嵌入式目标。
@mweber_PU:从单篇证明走向大规模自动形式化,需要新的工具。我们推出 Choir,一个开放协议……
作者们提出 Choir——一个用于分布式多智能体自动形式化的开放、模块化协议,将项目拆解为基于 GitHub 的任务,并通过确定性的信任门验证机制进行审核,支持 Lean 4、Isabelle 和 Rocq;该项目包含一篇预印本以及一个由 DARPA expMath 项目资助的开源代码仓库。
Wan-Dancer: 一种用于分钟级别连贯音乐到舞蹈生成的层次化框架
Wan-Dancer 提出了一种层次化框架,用于从音乐生成分钟级别的连贯舞蹈,解决了长时间编舞生成的挑战。
Show HN:Wyzer 编程语言
Wyzer 是一种新的静态类型、编译型编程语言,通过基于所有权的资源模型集成编排式编程,实现分布式安全。
1jehuang/jcode
jcode 是一个开源编码代理工具,专为多会话工作流设计,资源占用低,提供CLI安装方式,并在性能上优于Claude Code和Cursor Agent等现有代理。