{"library":"cryptol","type":"cli","category":null,"description":"Domain-specific language for specifying cryptographic algorithms. Available on Homebrew and apt.","language":"haskell","status":"active","version":"3.5.0","tags":[],"last_verified":null,"install":[{"cmd":"brew install cryptol","imports":[]}],"homepage":"https://galoisinc.github.io/cryptol/master/RefMan.html","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}