Skip to content

Instantly share code, notes, and snippets.

@oberstet

oberstet/gist:ef534c0cd060d0b9bd15a9e4a2529efb

Created April 15, 2018 05:46
Show Gist options
  • Save oberstet/ef534c0cd060d0b9bd15a9e4a2529efb to your computer and use it in GitHub Desktop.
Save oberstet/ef534c0cd060d0b9bd15a9e4a2529efb to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
.--------------.
| HACL* |
.-----| (formally |----.
| | verified F*) | |
| '--------------' |
| |
v v
.-------------. .-------------.
| HACL-C | | HACL-C-WASM |
.-----------.----| (generated) |----. | (generated) |
| | '-------------' | '-------------'
| | | | |
v | | | |
.--------------. | | | |
| pyhacl | | | | |
| (new: tbd) | | | | |
'--------------' | | | |
| | | | |
| | | | |
v | v | v
.--------------. | .-------------. | .------------------.
| pyeth/Python | | | Parity/Rust | | | cpp-eth/C++/Hera |
| | | | | | | |
'--------------' | '-------------' | '------------------'
v v
.---------. .------------------.
| geth/Go | | cpp-eth/C++/EVM1 |
| | | |
'---------' '------------------'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment