edwinb / idris2-clibs

Idris 2 bindings to various C libraries
15Updated 3 years ago

Alternatives and similar repositories for idris2-clibs:

Users that are interested in idris2-clibs are comparing it to the libraries listed below