OCaml logo
7 Search Results
dolmen_lsp
A LSP server for automated deduction languages
logic computation automated theorem prover lsp language server protocol
Guillaume Bury <guillaume.bury@gmail.com>
0.7
BSD-2-Clause
Used by 0 other packages
dream
Tidy, feature-complete Web framework
http web framework websocket graphql server http2 tls
Anton Bachin
1.0.0~alpha4
MIT
Used by 11 other packages
http_async
Async web toolkit
http-server http http1.1 async
Anurag Soni <anurag@sonianurag.com>
0.0.3
MIT
Used by 0 other packages
linol
LSP server library
lsp server lwt
Simon Cruanes
0.4
MIT
Used by 2 other packages
linol-lwt
LSP server library (with Lwt for concurrency)
lsp server lwt linol
Simon Cruanes
0.4
MIT
Used by 1 other packages
tiny_httpd
Minimal HTTP server using good old threads
http thread server tiny_httpd http_of_dir simplehttpserver
Simon Cruanes
0.12
MIT
Used by 2 other packages
tiny_httpd_camlzip
Interface to camlzip for tiny_httpd
http thread server gzip camlzip
Simon Cruanes
0.12
MIT
Used by 1 other packages