Skip to content

An implementation of the Webassembly spec in Rust

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Notifications You must be signed in to change notification settings

Kimundi/greenwasm

Repository files navigation

greenwasm

An implementation of the Webassembly spec in Rust.

The structure of the project tries to follow the structure of the Spec where possible. Current progress:

  • Stucture (crate greenwasm-structure): Typedefs for Wasm Types, Instructions and Modules.
  • Validation (crate greenwasm-validation): Validator for a Wasm Module.
  • Execution (crate greenwasm-execution): Naive Execution Engine for a Wasm Module.
  • Binary-Format (crate greenwasm-binary-format) parser for the .wasm binary format.
  • Text-Format: Parser for the .wat text format.

The individual crates are reexported from the central greenwasm crate, which also ties them together with a testsuite and some fuzzer scripts.

In the current version this is mainly a learning exercise, but the long-term goals include:

  • Modularity: It should be possible to use the parser/validator/typedefs independent from each other. This is already somewhat possible due to the split in different crates.
  • Genericy: It should be possible to parse/validate independent from the underlying AST format.
  • Performance: It should be usable for performance-oriented projects.

Testsuite

The greenwasm-spectest crate contains a library shim around a mirror of the official Webasembly MVP testsuite.

It is used as a dev-dependency by the main greenwasm crate, but has no dependencies on other crates in this repo. As such, it can be used as a independent testsuite launcher for other Webassembly implementations.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

About

An implementation of the Webassembly spec in Rust

Resources

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages