Skip to content

Inferara/inf-wasm-tools

Repository files navigation

Build

Inferara wasm-tools

Inferara project

A Rust toolset for working with WebAssembly and its extension with Inference non-deterministic instructions

Inference non-deterministic instructions

More information about Inference can be found in the official Inference language spec and on the Inferara website.

Overview

Crate Description
wat-fmt A pretty formatter for WebAssembly Text Format.
inf-wast A WebAssembly Text Format (WAT) parser and printer.
inf-wasmparser A WebAssembly binary format (WASM) parser.

License

This project is licensed under the MIT license.

Exceptions

  • inf-wast is a fork of wast from wasm-tools which is under the Apache 2.0 license with the LLVM exception, so it inherits the same license.
  • inf-wasmparser is a fork of wasmparser from wasm-tools which is under the Apache 2.0 license with the LLVM exception, so it inherits the same license.

Contributions

Are welcome!

Crates

Crate
Crates.io Version
Crates.io Version
Crates.io Version

About

WASM tools with non deterministic operations support

Topics

Resources

License

MIT, Apache-2.0 licenses found

Licenses found

MIT
LICENSE
Apache-2.0
LICENSE-Apache-2.0_WITH_LLVM-exception

Stars

Watchers

Forks

Sponsor this project