A C language client for cryptol-remote-api (https://github.com/GaloisInc/argo)
A client for Cryptol as a service
A C language client for cryptol-remote-api (https://github.com/GaloisInc/argo)
A client for Cryptol as a service
BSD 3-Clause "New" or "Revised" License