Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/dylibso/owi-rs

Last synced: 15 days ago
JSON representation

Host: GitHub
URL: https://github.com/dylibso/owi-rs
Owner: dylibso
License: bsd-3-clause
Created: 2024-02-21T19:27:59.000Z (10 months ago)
Default Branch: main
Last Pushed: 2024-02-22T17:57:15.000Z (10 months ago)
Last Synced: 2024-04-23T23:46:53.551Z (8 months ago)
Language: Rust
Size: 7.81 KB
Stars: 2
Watchers: 6
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        # owi-rs

Rust bindings to the [Owi](https://github.com/OCamlPro/owi) symbolic runtime.

This can be used to generate WebAssembly modules that can be converted to WebAsembly text format and passed to Owi for symbolic verification.

See [examples/](examples) for some basic usage examples.