steven2358 / Shazam-MatlabLinks
Shazam music identification algorithm http://squobble.blogspot.com/2005/04/shazamhome.html
☆12Updated 7 years ago
Alternatives and similar repositories for Shazam-Matlab
Users that are interested in Shazam-Matlab are comparing it to the libraries listed below
Sorting:
- Galois field math objects for Python☆29Updated 7 years ago
- Compress graphs☆12Updated 5 years ago
- General Purpose C++ Implementation for Inference and Learning in Bayesian and Markov Networks☆17Updated 7 years ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Updated 8 years ago
- VTable Hijacking Protection for Binaries☆12Updated 8 years ago
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- A re-implementation of ShapeCPU☆19Updated 3 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 6 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- MLIR Bindings for Swift☆13Updated 4 years ago
- Crypto Side Channel Attack (CSCA)☆18Updated 7 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 4 years ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Updated 10 years ago
- ☆23Updated last week
- L'intranet de l'AGEPoly - V2☆14Updated 4 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Updated 2 years ago
- Program synthesis☆12Updated 9 years ago
- A Telegram Bot for EPFL stuff☆11Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- Clockwork: A Modular Arithmetic library for C++☆12Updated last month
- Reproducing malicious memory reading on Intel i5 and Intel Xeon using a Spectre attack☆87Updated 7 years ago
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models☆15Updated 5 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 7 years ago
- Learning to Solve SMT Formulas Fast☆89Updated last year
- Superoptimizer using the z3 SMT solver☆17Updated last month
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆45Updated 5 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- Pulsar-plot of Strava runs in Swift 3☆12Updated 7 years ago