FOSSASIA
@fossasia@floss.social  路  activity timestamp last month

Build your own interactive audio-visual environment from scratch!

Discover how #Rust + #WebAssembly empower developers to create real-time, browser-based creative computing tools. Watch Phoomparin share the journey of building performant, interactive AV experiences on the web.

Click here: https://youtu.be/8a76lDw-Pio

alcinnz
alcinnz boosted
Jan :rust: :ferris:
@janriemer@floss.social  路  activity timestamp 3 months ago

Owi

https://github.com/OCamlPro/owi

Symbolic execution for #Wasm, #C, C++, #Rust and #Zig

"#Owi is an open-source framework for advanced #WebAssembly analysis and manipulation, with a focus on practical symbolic execution and robust tooling. It is designed for researchers, engineers, programming language enthusiasts and practitioners requiring precise, flexible, and extensible support program reasoning."

#FormalVerification#SoftwareTesting#Testing#SoftwareEngineering #RustLang#ZigLang
Jan :rust: :ferris:
@janriemer@floss.social  路  activity timestamp 3 months ago

Owi

https://github.com/OCamlPro/owi

Symbolic execution for #Wasm, #C, C++, #Rust and #Zig

"#Owi is an open-source framework for advanced #WebAssembly analysis and manipulation, with a focus on practical symbolic execution and robust tooling. It is designed for researchers, engineers, programming language enthusiasts and practitioners requiring precise, flexible, and extensible support program reasoning."

#FormalVerification#SoftwareTesting#Testing#SoftwareEngineering #RustLang#ZigLang