tweag/asterius
1
1
Fork 0
mirror of https://github.com/tweag/asterius.git synced 2024-11-09 21:55:04 +03:00
Code Issues Projects Releases Wiki Activity
900e09a6d0
asterius/wasm-toolkit
History
Shao Cheng 900e09a6d0 Default to wasm-toolkit backend for wasm binary code generation (+52 squashed commit)
2018-10-23 16:00:06 +08:00
..
src/Language/WebAssembly Default to wasm-toolkit backend for wasm binary code generation (+52 squashed commit) 2018-10-23 16:00:06 +08:00
test Default to wasm-toolkit backend for wasm binary code generation (+52 squashed commit) 2018-10-23 16:00:06 +08:00
CHANGELOG.md Default to wasm-toolkit backend for wasm binary code generation (+52 squashed commit) 2018-10-23 16:00:06 +08:00
LICENSE Default to wasm-toolkit backend for wasm binary code generation (+52 squashed commit) 2018-10-23 16:00:06 +08:00
package.yaml Default to wasm-toolkit backend for wasm binary code generation (+52 squashed commit) 2018-10-23 16:00:06 +08:00
README.md Default to wasm-toolkit backend for wasm binary code generation (+52 squashed commit) 2018-10-23 16:00:06 +08:00

README.md

wasm-toolkit

A Haskell library to handle WebAssembly code. Currently contains:

  • Complete definition of the AST, including support for custom sections.
  • Binary encoder/decoder.
  • Stochastic fuzzer which generates syntactically correct AST to test binary encoder/decoder.

This library models WebAssembly in a "speccy" manner; it only deals with lists of instructions, and does not implement expression syntax trees. The library doesn't have third party dependencies other than boot libs (the test suite does rely on QuickCheck)