GaloisInc / argo

A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
16Updated last month

Alternatives and similar repositories for argo:

Users that are interested in argo are comparing it to the libraries listed below