{"id":32674,"library":"cryptol","title":"cryptol","description":"Domain-specific language for specifying cryptographic algorithms. Available on Homebrew and apt.","status":"active","version":"3.5.0","language":"haskell","source_language":null,"source_url":null,"tags":[],"install":[{"cmd":"brew install cryptol"},{"cmd":"apt install cryptol"}],"dependencies":[],"imports":[],"quickstart":null,"warnings":[],"env_vars":null,"search_vec":"'algorithm':9 'apt':14 'avail':10 'cryptograph':8 'cryptol':1 'domain':3 'domain-specif':2 'homebrew':12 'languag':5 'specif':4 'specifi':7","created_at":"2026-05-31T14:30:48.298256+00:00","updated_at":"2026-05-31T14:30:48.298256+00:00","problems":[],"ecosystem":"pypi","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"cli","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,"categories":["security"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":null,"next_check":null,"install_tag":"reviewed"}}