Lib.rs
›
Users
#
execution-engine
#
instructions
#
isla
Alasdair
Alasdair Armstrong
Joined crates-io 4 years ago. Joined GitHub 14 years ago.
GitHub
crates.io
Maintainer dashboard
Alasdair created 4 crates
isla
Sole owner since Jun 2020. Last updated 3 years ago.
isla-axiomatic
Sole owner since Jun 2020. Last updated 3 years ago.
isla-lib
Sole owner since Jun 2020. Last updated 3 years ago.
isla-cat
Sole owner since Jun 2020. Last updated 3 years ago.