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

A client for Cryptol as a service
https://github.com/weaversa/cryptol-c-client

Last synced: 19 days ago
JSON representation

A client for Cryptol as a service

• Host: GitHub
• URL: https://github.com/weaversa/cryptol-c-client
• Owner: weaversa
• License: bsd-3-clause
• Created: 2020-03-23T17:44:59.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-09-06T14:20:33.000Z (over 4 years ago)
• Last Synced: 2025-02-17T08:34:20.070Z (4 months ago)
• Language: C
• Homepage:
• Size: 37.1 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# cryptol-c-client

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