`cargo-show-asm`, https://github.com/pacak/cargo-show-asm.

A cargo subcommand that displays the Assembly, LLVM-IR, MIR and WASM generated for Rust source code.

Lovely!

#RustLang #cargo #asm #llvm #wasm #disasm

sentencex - by Wikimedia:

https://github.com/wikimedia/sentencex

A sentence segmentation library with wide language support optimized for speed and utility.

Written in #Rust.

Bindings are available for #Python, #NodeJS and #WASM

Might be useful for my #SpeechToText system! 👀

#NLP #TextProcessing #Segmentation #RustLang

`cargo-show-asm`, https://github.com/pacak/cargo-show-asm.

A cargo subcommand that displays the Assembly, LLVM-IR, MIR and WASM generated for Rust source code.

Lovely!

#RustLang #cargo #asm #llvm #wasm #disasm

sentencex - by Wikimedia:

https://github.com/wikimedia/sentencex

A sentence segmentation library with wide language support optimized for speed and utility.

Written in #Rust.

Bindings are available for #Python, #NodeJS and #WASM

Might be useful for my #SpeechToText system! 👀

#NLP #TextProcessing #Segmentation #RustLang

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

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