用 Haskell 编写的库
simplexmq
⚙️ SimpleXMQ - SimpleX 消息传递协议的参考实现,用于公共网络上的单工队列。
- 311
- GNU Affero General Public License v3.0
juvix
Juvix 使开发人员能够以高级函数式语言编写代码,将其编译为高效的输出 VM 指令,并在部署和执行之前正式验证其合约的安全性。
- 300
- GNU General Public License v3.0 only
picard
PICARD - 增量解析语言模型的约束自回归解码。 PICARD 是一个 ServiceNow 研究项目,由 Element AI 启动。 (由 ServiceNow 提供)。
- 282
- Apache License 2.0