#Tag · bonfire.cafe

@driggy@mastodon.gamedev.place · 3 hours ago

@codingcoyote @alcinnz #csharp for business and #zig for playing around. All around, the best one will be the one I write one day, of course 🙂

Curtis Carter

@codingcoyote@floss.social · 8 hours ago

@alcinnz the one that allows you to create with an acceptable risk and investment and delivers a product that meets end user needs with fewer barriers than would cause them to abandon it.

For me that's usually #CSharp

Edit: if it's enjoyable to use, that helps too :)

Igor Stojković

@driggy@mastodon.gamedev.place replied · 3 hours ago

@codingcoyote @alcinnz #csharp for business and #zig for playing around. All around, the best one will be the one I write one day, of course 🙂

alcinnz boosted

Jan :rust: :ferris:

@janriemer@floss.social · 2 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 · 2 months ago

Owi

https://github.com/OCamlPro/owi

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

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