lockbud VS nannou

There's tracing-mutex that builds a dag of your locks when you acquire them and panics (at runtime) if it could deadlock: https://github.com/bertptrs/tracing-mutex

parking_lot has a deadlock detection feature for when you deadlock that iirc tells you what deadlocked (so you're not trying to figure it out with a debugger and a lot of time) https://amanieu.github.io/parking_lot/parking_lot/deadlock/i...

I also just found out about https://github.com/BurtonQin/lockbud which seems to detect deadlocks and a few other issues statically? (seems to require compiling your crate with the same version of rust as lockbud uses, which from the docs is an old 1.63 nightly build?)

Hi, I'm looking for tools that can statically detect possible deadlocks in async fns. I'm aware of lockbud and cargo-check-deadlock, neither of which can analyse async code. Is there any tools that support this?

Try this: https://github.com/BurtonQin/lockbud.

Another idea would be to do something with Nannou, it's pretty straightforward to get some visually pleasing results and I find these Processing/P5 inspired creative coding libraries allow for a lot of exploration and expression. The Coding Train is a YouTube channel which has dozens of these kinds of projects, translating them into Rust certainly is good exercise.

Assuming you’re talking about https://nannou.cc they advertise a slack, a matrix, and a github org.

Never used this, no idea If it's what you want, but maybe https://nannou.cc/?

https://nannou.cc/ may be worth checking out.

"creative coding" usually refers to a framework where a developer/artist can code up nice things quickly

for example https://github.com/nannou-org/nannou/blob/master/examples/dr...

I've exported individual frames using this mechanism, I've never tried gif encoding before but seems like there's support for it,