Skip to content
A web server written in Coq.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
extraction
src
.gitignore
Dockerfile
LICENSE
Make Sources moved to src/ Aug 11, 2015
README.md
configure.sh

README.md

Logo Pluto

A web server written in Coq.

Run with OPAM

Add the Coq repository:

opam repo add coq-released https://coq.inria.fr/opam/released

Install Pluto:

opam install coq-concurrency-pluto

Run it on some html/ folder:

pluto.native 8000 html/

Your website is now available on localhost:8000.

Run with Docker

Add some HTML content to html/, build and run the server:

docker build --tag=pluto .
docker run -ti -p 80:80 pluto

Your website is now available on localhost.

You can’t perform that action at this time.