Interactive Self-Similarity Matrix for Music Structure Visualization
☆36May 14, 2020Updated 5 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 8 years ago
- M.C.ドナルドはダンスに夢中なのか?最終鬼畜道化師ドナルド・M☆10Nov 4, 2022Updated 3 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Mar 31, 2026Updated last week
- ☆12Mar 23, 2026Updated 2 weeks ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- cables and boxes with Threejs node API☆11Jan 5, 2023Updated 3 years ago
- A wasmCloud provider for the ollama API☆12Apr 23, 2024Updated last year
- 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 10 months ago
- text generation from keywords using transformer model☆12Nov 2, 2019Updated 6 years ago
- 島岡系芸大和声記号専用フォント。 // A typeface which allows easy typography of Shimaoka Roman Numerals used among conservatories in Japan.A typeface whic…☆14Nov 9, 2023Updated 2 years ago
- A base implementation of Apple's AUAudioUnit to simplify the creation of custom audio units.☆28May 9, 2019Updated 6 years ago
- Brave is a simple visualisation library for NLP information extraction, built on top of embedded BRAT.☆15Dec 25, 2019Updated 6 years ago
- ☆14Feb 26, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- JS to WebAssembly toolchain☆12Aug 18, 2023Updated 2 years ago
- Responsive images using Imager.js and Polymer☆73Dec 14, 2015Updated 10 years ago
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 4 months ago
- https://1000-plus.github.io/☆24Feb 11, 2026Updated last month
- ☆13May 17, 2021Updated 4 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 last year
- StyleGAN2 + MelGAN Audio Loop Generation☆105Apr 22, 2024Updated last year
- Formalisation of the theory of real closed fields in Lean 4.☆15Mar 27, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An LLVM interface for Lean 4. (WIP)☆26Aug 1, 2023Updated 2 years ago
- Analysis of a popular NeoGeo game :)☆12May 16, 2017Updated 8 years ago
- (Unity) Utility components for testing purposes☆16Jan 17, 2026Updated 2 months ago
- IPFS utils☆25Mar 1, 2026Updated last month
- "This Pokemon-esque, unlicensed Taiwanese Gameboy RPG rocks."☆13Aug 12, 2021Updated 4 years ago
- DALL.E image generation in MaxMSP☆10Mar 22, 2023Updated 3 years ago
- The main entry point to the Polifonia Ontology Network☆16Dec 2, 2023Updated 2 years ago
- ☆25Apr 21, 2021Updated 4 years ago
- A no-code editor for creating JSUI knobs for Max 8☆10May 3, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Yet another flappybird for gameboy☆15May 18, 2017Updated 8 years ago
- WIP full featured port of VBA-M for Nintendo Switch☆14Jul 1, 2018Updated 7 years ago
- Normalize SVG files so that the OP-1 understands them.☆13Apr 21, 2019Updated 6 years ago
- Function for transforming Sanity block content to HyperScript☆18Sep 9, 2025Updated 7 months ago
- ☆28Feb 8, 2026Updated 2 months ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- A self contained example demonstrating how to use MediaPipe Object Detection with Max's jweb☆12Jun 26, 2023Updated 2 years ago