Pluto - 并发 Web 服务器

HTTP服务器

---

授权协议: MIT

操作系统: Linux

开发语言:

---

软件简介

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

---

软件首页

---