Pluto并发 Web 服务器

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

时光轴

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