https://github.com/weaversa/cryptol-java-client

Java client for remote-cryptol-api
https://github.com/weaversa/cryptol-java-client

Last synced: 20 days ago
JSON representation

Java client for remote-cryptol-api

• Host: GitHub
• URL: https://github.com/weaversa/cryptol-java-client
• Owner: weaversa
• License: bsd-3-clause
• Created: 2020-09-06T14:19:16.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-12-11T12:09:40.000Z (over 4 years ago)
• Last Synced: 2025-02-17T08:34:20.725Z (4 months ago)
• Language: Java
• Size: 21.5 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# cryptol-java-client

A Java language client for cryptol-remote-api (https://github.com/GaloisInc/argo)