Pluto并发 Web 服务器认领

0粉丝

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

简介

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

其它信息

授权协议

MIT

操作系统

Linux

软件类型

开源软件

所属分类

服务器软件、 HTTP服务器

开源组织

无

地区

不详

适用人群

未知

开源地址

https://www.proginn.com/w/1489415

时光轴

里程碑1

LOG2

2023

10-01

轻识收录

打卡

评价

0.0（满分 10 分）0 个评分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%

推荐

YACSPHP web 服务器

YACS是一个强大的PHP脚本，可以让你维护一个动态的Web服务器。特性：-Runsonyourownserver,oronasharedwebsite-Postarticleswithwebform

tamacatJava Web服务器

tamacat是一个开源的JavaWeb服务器。支持HTTP和HTTPS协议，基于ApacheHttpComponents实现。支持基本，摘要，WS-Security(WSSE)和基于表单的身份验证。

YACSPHP web 服务器

YACS 是一个强大的 PHP 脚本，可以让你维护一个动态的 Web 服务器。特性：- Runs o

NullhttpdHTTP Web 服务器

Nullhttpd是一个非常小的、简单的、多线程的Linux和WindowsWeb服务器。

UV-WebWSGI Web服务器

uv-web是一个轻量级的支持高并发的WSGIWeb服务器，基于libuv构建，部分代码源于开源项目bjoern，本质是python的C扩展，所以适用于部署绝大部分pythonweb应用(如Djang

tamacatJava Web服务器

tamacat是一个开源的Java Web服务器。支持HTTP和HTTPS协议，基于Apache H

UV-WebWSGI Web服务器

uv-web是一个轻量级的支持高并发的WSGI Web服务器，基于libuv构建，部分代码源于开源项

nweb Web Server小型Web服务器

nweb是一个超小的WebServer,只有200行代码。但足够被用做一个安全的静态页面服务器。nweb非常适合有志者用来构建自己的强大服务器的种子。下载地址：http://www.ibm.com/d

StarletPSGI 的 Web 服务器

Starlet是基于HTTP::Server::PSGI的Web服务器，并增加了对preforking、优雅重启、关闭和热发布的支持，以前的名字叫PSSPSS。

Cherokee高性能Web服务器

Cherokee 号称是目前最快的 Web 服务器软件，在性能上，甚至比 Nginx 还略胜一筹。与