Pluto并发 Web 服务器

0粉丝
Pluto 是一个用 Gallina (Coq 的函数编程语言)编写的首个并发的 Web 服务器。
简介
Pluto 是一个用 Gallina (Coq 的函数编程语言)编写的首个并发的 Web 服务器。... 更多
其它信息
授权协议
MIT
操作系统
Linux
软件类型
开源软件
所属分类
服务器软件、 HTTP服务器
开源组织
地区
不详
适用人群
未知

时光轴

里程碑1
LOG2
2023
10-01
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐