搜索

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%
推荐
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 还略胜一筹。与