eraserhd / Idris-json

Formally verified JSON parser
14Updated 7 years ago

Alternatives and similar repositories for Idris-json:

Users that are interested in Idris-json are comparing it to the libraries listed below