https://github.com/weaversa/cryptol-ffi-tests

Some tests using Cryptol's FFI interface
https://github.com/weaversa/cryptol-ffi-tests

Last synced: 19 days ago
JSON representation

Some tests using Cryptol's FFI interface

• Host: GitHub
• URL: https://github.com/weaversa/cryptol-ffi-tests
• Owner: weaversa
• License: bsd-3-clause
• Created: 2022-09-01T18:05:08.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-10-06T19:38:23.000Z (over 2 years ago)
• Last Synced: 2025-02-17T08:34:21.357Z (4 months ago)
• Language: C
• Size: 1.96 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# cryptol-ffi-tests

Some tests using Cryptol's FFI interface