Pluto 并发 Web 服务器

授权协议：MIT操作系统：Linux 开发语言：

Pluto 是一个用 Gallina （Coq 的函数编程语言）编写的首个并发的 Web 服务器。