https://github.com/inferara/inf-wasm-tools

Non deterministic WASM tools
https://github.com/inferara/inf-wasm-tools

wasm

Last synced: 8 months ago
JSON representation

Non deterministic WASM tools

• Host: GitHub
• URL: https://github.com/inferara/inf-wasm-tools
• Owner: Inferara
• License: mit
• Created: 2025-01-08T12:25:52.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-04-03T03:22:45.000Z (about 1 year ago)
• Last Synced: 2025-04-03T03:35:43.526Z (about 1 year ago)
• Topics: wasm
• Language: Rust
• Homepage: https://inferara.com
• Size: 2.66 MB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
[![Build](https://github.com/Inferara/inf-wasm-tools/actions/workflows/build.yml/badge.svg?branch=main)](https://github.com/Inferara/inf-wasm-tools/actions/workflows/build.yml)



  
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](https://github.com/Inferara/inference-language-spec) and on the [Inferara website](https://www.inferara.com).

## Overview

| Crate | Description |

| ------- | ----------- |

| [wat-fmt](./wat-fmt/) | A pretty formatter for WebAssembly Text Format. |

| [inf-wast](./inf-wast/) | A WebAssembly Text Format (WAT) parser and printer. |

| [inf-wasmparser](./inf-wasmparser/) | A WebAssembly binary format (WASM) parser. |

# License

This project is licensed under the MIT license.

## Exceptions

- [inf-wast](./inf-wast/) is a fork of [wast](https://github.com/bytecodealliance/wasm-tools/tree/main/crates/wast) from [wasm-tools](https://github.com/bytecodealliance/wasm-tools/tree/main) which is under the Apache 2.0 license with the LLVM exception, so it inherits the same license.

- [inf-wasmparser](./inf-wasmparser/) is a fork of [wasmparser](https://github.com/bytecodealliance/wasm-tools/tree/main/crates/wasmparser) from [wasm-tools](https://github.com/bytecodealliance/wasm-tools/tree/main) 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](https://img.shields.io/crates/v/wat-fmt?label=wat-fmt) |

| ![Crates.io Version](https://img.shields.io/crates/v/inf-wast?label=inf-wast) |

| ![Crates.io Version](https://img.shields.io/crates/v/inf-wast?label=inf-wast) |