Interactive Self-Similarity Matrix for Music Structure Visualization
☆36May 14, 2020Updated 6 years ago
Alternatives and similar repositories for MusicPlot
Users that are interested in MusicPlot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- IPython Magic Functions☆16Aug 14, 2017Updated 9 years ago
- ☆10May 15, 2021Updated 5 years ago
- M.C.ドナルドはダンスに夢中なのか?最終鬼畜道化師ドナルド・M☆12Nov 4, 2022Updated 3 years ago
- A better working example of SIFRank and SIFRank+ models for keyword extraction. Easy to setup using docker-compose.☆11Oct 29, 2024Updated last year
- 🎩 A helper for working with individual Progressive Web App metrics (via Lighthouse)☆11Oct 24, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Mar 23, 2026Updated 5 months ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- Littlefoot scripts for the ROLI Lightpad Block☆14Dec 24, 2019Updated 6 years ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Browser Based Audio Oscillators using MPE devices & MPE.js☆21Aug 6, 2017Updated 9 years ago
- Official releases of the TOROT treebank☆10Jan 16, 2020Updated 6 years ago
- Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau☆16Updated this week
- ☆13May 17, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- A novel system that utilizes multiple symbolic music representations in addition to audio in order to improve ace on popular music.☆15Sep 11, 2024Updated 2 years ago
- Basic Unicode support for Lean 4☆16Updated this week
- Boiler: a software tool for highly efficient, lossy compression of RNA-seq alignments☆13Jul 14, 2016Updated 10 years ago
- This repository is for the paper "A generative nonparametric Bayesian model for whole genomes"☆16Jun 7, 2023Updated 3 years ago
- An app that autofills when2meet based on your google calendar☆10May 22, 2023Updated 3 years ago
- A complete Python framework to perform real-time fMRI decoded neurofeedback experiments☆17Sep 26, 2022Updated 3 years ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Aug 2, 2026Updated last month
- StyleGAN2 + MelGAN Audio Loop Generation☆105Apr 22, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- PathRAG System - A Path-based Retrieval-Augmented Generation implementation with knowledge graph visualization and Ollama integration for…☆14Mar 3, 2025Updated last year
- ☆13Jan 15, 2026Updated 8 months ago
- Audio Units Karaoke Plugin (pan remover & filter)☆13Aug 29, 2014Updated 12 years ago
- A simple projection-mapping tool with basic mesh editor written with openFrameworks.☆15Aug 3, 2014Updated 12 years ago
- An extensible bytecode-based scripting engine for the Game Boy☆16Mar 11, 2024Updated 2 years ago
- ONNX Runtime tiny wrapper for openFrameworks☆15Jan 21, 2022Updated 4 years ago
- A tool to modify the NTSC-U version of the game Yu-Gi-Oh! Duelists of the Roses.☆14Jul 21, 2026Updated last month
- (Unity) Utility components for testing purposes☆16Jan 17, 2026Updated 8 months ago
- example cables.gl-patch integration for react☆15Feb 8, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A python application to create and store linked open data via a friendly user interface.☆18Oct 18, 2023Updated 2 years ago
- Yet another flappybird for gameboy☆15May 18, 2017Updated 9 years ago
- (Mirror) A Music formalization library and DSL in Lean 4☆22Aug 25, 2026Updated 3 weeks ago
- Apache OpenNLP Add-ons☆21Updated this week
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 9 months ago
- Example of using an INMP441 microphone with ESP32 over WiFi☆14Mar 10, 2022Updated 4 years ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year