Skip to content
This repository has been archived by the owner on Mar 13, 2024. It is now read-only.

Latest commit

 

History

History
45 lines (31 loc) · 1.76 KB

README.md

File metadata and controls

45 lines (31 loc) · 1.76 KB

Ibis - a knowledge engine for type checking asynchronously communicating modules

Ibis Ibis docs

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

Contributing

Please see the project's contributing guide.

License

Please see the project's license.