arcsjs-provable

Ibis - a knowledge engine for type checking asynchronously communicating modules

This is not an officially supported Google product

Getting started

Try out the Ibis playground.

(Early) documentation can be found here thanks to Rustdoc.

Building and running Ibis locally

For the following you’ll need git and cargo.

# Assuming git and cargo are already installed
git clone https://github.com/project-oak/arcsjs-provable.git
cd arcsjs-provable/ibis
cat demo.json | cargo run --bin dot > out.dot

Ibis also has a test suite that can be run with

cargo test

Optional tools & dependencies

• wasm-pack (for packaging WASM with JS)
• cargo-wasi (for compilation to WASM)
• graphviz (dot command is used to render debugging information)
• A web server:
  • Recommended: the http.server package from npm.
  • Alternatively: python3’s http.server.
  • or just your favourite web server.

Contributing

Please see the project’s contributing guide.

License

Please see the project’s license.