GaloisInc/argo

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

语言：Haskell · GitHub 星标：16 · Fork：4

在 GitHub 上查看原仓库