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

https://github.com/mbarbin/eio-extended

Experimenting with a few additions to Eio's api
https://github.com/mbarbin/eio-extended

Last synced: 10 months ago
JSON representation

Experimenting with a few additions to Eio's api

Awesome Lists containing this project

README

          

# eio-extended

[![CI Status](https://github.com/mbarbin/eio-extended/workflows/ci/badge.svg)](https://github.com/mbarbin/eio-extended/actions/workflows/ci.yml)

:warning: This project is no longer being maintained or extended. The repository will be archived and made read-only.

Experimenting with a few additions to `Eio`'s api. See the [odoc pages](https://mbarbin.github.io/eio-extended/eio-extended/Eio_extended/index.html).