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 8 years ago
- ☆10May 15, 2021Updated 5 years ago
- M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ☆10Nov 4, 2022Updated 3 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Jun 1, 2026Updated last week
- A better working example of SIFRank and SIFRank+ models for keyword extraction. Easy to setup using docker-compose.☆11Oct 29, 2024Updated last year
- 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.
- ☆13Mar 23, 2026Updated 2 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
- 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…☆15Nov 9, 2023Updated 2 years ago
- A base implementation of Apple's AUAudioUnit to simplify the creation of custom audio units.☆28May 9, 2019Updated 7 years ago
- ☆14Feb 26, 2026Updated 3 months ago
- ☆13May 17, 2021Updated 5 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tetris (GB) Disassembly compatible with RGBDS (Tested). An experimental 3DSVC version is included.☆13Nov 27, 2020Updated 5 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- An LLVM interface for Lean 4. (WIP)☆26Aug 1, 2023Updated 2 years ago
- simple projection mapping addon for openframeworks, sitting on top of ofxVideoMapping☆15Nov 10, 2019Updated 6 years ago
- Audio Units Karaoke Plugin (pan remover & filter)☆13Aug 29, 2014Updated 11 years ago
- ONNX Runtime tiny wrapper for openFrameworks☆15Jan 21, 2022Updated 4 years ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Jun 1, 2026Updated last week
- ☆12Nov 6, 2022Updated 3 years ago
- The main entry point to the Polifonia Ontology Network☆16Dec 2, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A no-code editor for creating JSUI knobs for Max 8☆10May 3, 2024Updated 2 years ago
- Yet another flappybird for gameboy☆15May 18, 2017Updated 9 years ago
- A few stylization coreML models that I've trained with CreateML☆14Dec 23, 2021Updated 4 years ago
- Normalize SVG files so that the OP-1 understands them.☆14Apr 21, 2019Updated 7 years ago
- [MM 2022] MM-ALT: A Multimodal Automatic Lyric Transcription System (Oral, Top paper award)☆21Mar 16, 2024Updated 2 years ago
- Crawled from FreeMidi.org, MIDI files library including over twenty thousand files!☆32Jun 6, 2020Updated 6 years 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
- A formula that become itself when plotted☆21Feb 29, 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.
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated last year
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Chess in Lean 4☆31Feb 14, 2026Updated 3 months ago
- ☆30Feb 8, 2026Updated 4 months ago
- About Introduction to Machine Learning for the Arts, IMA, Tisch School of the Arts, New York University, Fall 2023☆13Nov 20, 2023Updated 2 years ago
- A online multi-player draw board.☆10Jan 4, 2023Updated 3 years ago
- Teletext Service Generator - deprecated, this functionality is now in https://github.com/ali1234/vhs-teletext☆13Mar 6, 2015Updated 11 years ago