Giters

weaversa / cryptol-ffi-tests

Some tests using Cryptol's FFI interface

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cryptol-ffi-tests

Some tests using Cryptol's FFI interface

About

Some tests using Cryptol's FFI interface

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:C 71.6%Language:Makefile 28.4%