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.

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.