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:
- M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ☆10Nov 4, 2022Updated 3 years ago
- ☆13Mar 23, 2026Updated 4 months ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 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 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.
- ☆14Feb 26, 2026Updated 5 months ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Updated this week
- ☆13May 17, 2021Updated 5 years ago
- 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 last year
- Formalisation of the theory of real closed fields in Lean 4.☆15Aug 2, 2026Updated last week
- GitBucket Docker Image☆10Jul 17, 2024Updated 2 years ago
- An LLVM interface for Lean 4. (WIP)☆27Aug 1, 2023Updated 3 years ago
- ☆12Nov 6, 2022Updated 3 years ago
- 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.
- The main entry point to the Polifonia Ontology Network☆17Dec 2, 2023Updated 2 years ago
- ONNX Runtime tiny wrapper for openFrameworks☆15Jan 21, 2022Updated 4 years ago
- example cables.gl-patch integration for react☆15Feb 8, 2023Updated 3 years ago
- ☆25Apr 21, 2021Updated 5 years ago
- (Mirror) A Music formalization library and DSL in Lean 4☆20Jul 15, 2026Updated 3 weeks ago
- Support for uEye and uEye+ industrial cameras by IDS Imaging in vvvv☆13Jun 9, 2026Updated 2 months ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- A formula that become itself when plotted☆21Feb 29, 2024Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- 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.
- Normalize SVG files so that the OP-1 understands them.☆14Apr 21, 2019Updated 7 years ago
- A self contained example demonstrating how to use MediaPipe Object Detection with Max's jweb☆11Jun 26, 2023Updated 3 years ago
- ☆17Jun 11, 2026Updated last month
- ☆11May 8, 2019Updated 7 years ago
- These are Lean translations of Ninety-Nine Haskell Problems (WIP)☆16Feb 28, 2025Updated last year
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆20Jul 10, 2026Updated last month
- 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
- docker-ffmpeg-nvidia☆13Apr 4, 2020Updated 6 years ago
- Addon for openFrameworks for working with Windows - screen, mouse, keyboard.☆16Apr 11, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A compendium of Hodge decompositions of vector fields on tetrahedral meshes embedded in the 3D Euclidean space.☆11Oct 18, 2020Updated 5 years ago
- The SPARQL Anything Python library☆26Jun 23, 2025Updated last year
- ☆14Dec 6, 2018Updated 7 years ago
- The Harmonic Memory☆20Oct 18, 2023Updated 2 years ago
- egui toolkit☆19Sep 28, 2023Updated 2 years ago
- A JSON Hyperschema codec for Core API.☆17Feb 27, 2018Updated 8 years ago
- A small toolset to create video loops and record them in VVVV Gamma☆14Jan 16, 2024Updated 2 years ago