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

https://github.com/clarus/coq-extraction-sys

Interface to native OCaml Sys library.
https://github.com/clarus/coq-extraction-sys

Last synced: about 2 months ago
JSON representation

Interface to native OCaml Sys library.

Awesome Lists containing this project

README

        

# Extraction Sys
Interface to native OCaml Sys library.