GitHub repository: GaloisInc/argo
Primary language: Haskell
Created: 2019-03-20T15:21:25Z
Description: A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW