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