An open API service indexing awesome lists of open source software.

https://github.com/clarus/coq-extraction-lwt-ocaml

Interface to the native OCaml Lwt library.
https://github.com/clarus/coq-extraction-lwt-ocaml

Last synced: about 2 months ago
JSON representation

Interface to the native OCaml Lwt library.

Awesome Lists containing this project

README

        

# Extraction Lwt OCaml
Interface to the native OCaml Lwt library.