cargo-check-deadlock
mfcc-rust
cargo-check-deadlock | mfcc-rust | |
---|---|---|
3 | 5 | |
24 | 16 | |
- | - | |
8.1 | 5.8 | |
3 days ago | about 1 year ago | |
Rust | Rust | |
Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cargo-check-deadlock
-
The Borrow Checker Within
Thinking about this some more, that example has a mutex in a single thread program. If it's ever reached while locked, the program is stuck. This is a demonstration that the backlink problem and single-thread deadlock detection are equivalent.
Work on compile time deadlock detection for Rust is underway.[1] It's complicated, but do-able.
[1] https://github.com/hlisdero/cargo-check-deadlock
-
Petri Net for tokio ?
And a project uses it to check for deadlocks. https://github.com/hlisdero/cargo-check-deadlock/ but it doesn't work for async code, yet.
-
Hey Rustaceans! Got a question? Ask here (23/2023)!
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?
mfcc-rust
-
Real-Time Noise Suppression for PipeWire writen in Rust
hey, quick question. do you mind if I use your stft function in the speech preprocessing library I've been working on? we've been trying to add support for doing mel spectrograms to build a runner for openwakeword, but progress is pretty slow because I've been soloing something I really don't have the right background for(I've never directly studied or worked with signal processing)
-
Hey Rustaceans! Got a question? Ask here (23/2023)!
So I've been working on an speech preprocessing library for rust for a minute now. The tl;dr is it contains functions related to preprocessing audio for use in speech-centric models. I've run into a situation where I'm running against a few conflicting design constraints and trying to figure out the best way to handle state for a set of functions.
-
I want to contribute in a big project
we could always use contributors for mfcc-rust/speechsauce(we're planning on changing the name as it's not limited to just computing mfcc's).
-
HELP NEEDED: Using RUST and open source tools for reliable wake-word detection :tuerca_y_perno:
The code has comments and in the GitHub issues is written what's missing, the goal is to mimic functionality from NumPy not present in NDArray (a library for maths operations). You can find the code here: https://github.com/secretsauceai/mfcc-rust. Take a look, if you feel that you can give a hand, that would be amazing!!! Let's make a new exciting voice future!!!
-
Make your own custom wakeword and other FOSS voice assistant solutions
This release represents the first phase in the wakeword project, we are working on a Rust wakeword engine based on Precise and a SpeechPy MFCC port in Rust so that user's can run the wakeword easily on their phone and other devices. It is hard to believe that there aren't any current good solutions to running a modern FOSS wakeword engine on a phone in real time. We want to change that and allow everyone access to this technology, with their own wakeword of choice.
What are some alternatives?
lincheck - A linearizability checker for concurrent data structures
openWakeWord - An open-source audio wake word (or phrase) detection framework with a focus on performance and simplicity.
SMPT - SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
secret_sauce_ai - Secret Sauce AI: a coordinated community of tech minded AI enthusiasts
cargo-edit - A utility for managing cargo dependencies from the command line.
TX-2-simulator - Simulator for the pioneering TX-2 computer
nannou - A Creative Coding Framework for Rust.
precise-wakeword-model-maker - Automated, end-to-end wakeword model maker using the Precise Wakeword Engine
lockbud - Statically detect memory, concurrency bugs and possible panic locations for Rust.
rust-playground - The Rust Playground
NLU-snips-converter - Quick and dirty solution to convert CSV training data into Snips JSON format and train an engine