package wax-lib
Libraries for Wax, a Rust-like syntax for WebAssembly
Install
dune-project
Dependency
Authors
Maintainers
Sources
wax-v0.3.0.tbz
sha256=cc19989d0db930d9300d7356c8f127309424a82767dd3c91ffd19a0bfd20e3a6
sha512=14ff9219dc6c4e8855c3cb895bd1af6fd81d1c521afefe1e7f69208a2e37abc7ec0946f188198a26780aa405fd43a526b938158334a019f7a5d991d8efc437c3
doc/index.html
wax-lib
API
Library wax-lib
WaxEmbedding API for the Wax toolchain: assemble WAT or Wax source into a WebAssembly binary module, with conditional-compilation variables resolved.
Library wax-lib.conversion
Library wax-lib.theo
TheoTheory-Augmented Binary Decision Diagrams (BDDs)