Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add OCaml related tools (Wasocaml and Owi) #227

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

add OCaml related tools (Wasocaml and Owi) #227

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 6 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ Please read the [contribution guidelines](CONTRIBUTING.md) if you want to contri
- [Developer's Guide](http://webassembly.org/getting-started/developers-guide/)
- [Wasmbyexample - Hands-On Introduction Examples and Tutorials for Webassembly](https://wasmbyexample.dev/)
- [Introduction to WebAssembly Text (2021)](https://awesome.red-badger.com/chriswhealy/introduction-to-web-assembly-text)
- [Hands-On Webassembly: Try the Basics (2020)](https://evilmartians.com/chronicles/hands-on-webassembly-try-the-basics)
- [Hands-On Webassembly: Try the Basics (2020)](https://evilmartians.com/chronicles/hands-on-webassembly-try-the-basics)
- [Using WebAssembly modules in C# (2020)](https://platform.uno/blog/using-webassembly-modules-in-c/)
- [First steps with WebAssembly in Rust (2020)](https://aralroca.com/blog/first-steps-webassembly-rust)
- [WebAssembly threads in Firefox (2020)](https://cggallant.blogspot.com/2020/07/webassembly-threads-in-firefox.html)
Expand Down Expand Up @@ -137,7 +137,7 @@ Please read the [contribution guidelines](CONTRIBUTING.md) if you want to contri
- [WAVM - WebAssembly virtual machine, designed for use in non-web applications](https://github.com/WAVM/WAVM)
- [windtrap - A WASM VM written in Elixir](https://github.com/gballet/windtrap)
- [Extism - the universal plug-in system to make your software programmable](https://github.com/extism/extism)

- [Owi](https://github.com/OCamlPro/owi): a Wasm interpreter written in OCaml

## Projects

Expand Down Expand Up @@ -235,6 +235,7 @@ Please read the [contribution guidelines](CONTRIBUTING.md) if you want to contri
### OCAML
- [ocamlrun-wasm - OCaml Bytecode Interpreter in WASM](https://github.com/sebmarkbage/ocamlrun-wasm)
- [wasicaml - Translate OCaml Bytecode to WASM](https://github.com/remixlabs/wasicaml/)
- [Wasocaml](https://github.com/OCamlPro/wasocaml): an OCaml to WasmGC compiler

### Python
- [Pyodide - The Python scientific stack running in the browser](https://github.com/iodide-project/pyodide)
Expand Down Expand Up @@ -272,6 +273,7 @@ Please read the [contribution guidelines](CONTRIBUTING.md) if you want to contri
### Kits
- [WABT - A suite of tools that help working with WASM binary files](https://github.com/WebAssembly/wabt)
- [webassembly-binary-toolkit - The WABT tools installable as an npm package](https://github.com/mafintosh/webassembly-binary-toolkit)
- [Owi]: a WebAssembly toolkit and cross-language bug-finder

## Gists
- [Standalone WebAssembly Example](https://gist.github.com/kripken/59c67556dc03bb6d57052fedef1e61ab)
Expand Down Expand Up @@ -401,6 +403,8 @@ Please read the [contribution guidelines](CONTRIBUTING.md) if you want to contri
- [Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code](https://www.usenix.org/system/files/atc19-jangda.pdf)
- [Provably-Safe Multilingual Software Sandboxing using WebAssembly](https://www.usenix.org/system/files/sec22-bosamiya.pdf)
- [Wasabi: A Framework for Dynamically Analyzing WebAssembly](https://software-lab.org/publications/asplos2019_Wasabi.pdf)
- [Wasocaml: compiling OCaml to Webassembly](https://inria.hal.science/hal-04311345)
- [Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly](https://hal.science/hal-04627413)

## Demos
- [Aphrós - finite volume solver for incompressible multiphase flows](https://cselab.github.io/aphros/wasm/hydro.html)
Expand Down