Reverse Dependencies of cryptol

The following projects have a declared dependency on cryptol:

• saw-client — SAW client for the SAW RPC server