A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW - View it on GitHub
Star
15
Rank
1064341