使用Word录入简谱，并使用Python将其转为MusicXML/MIDI乐谱格式
☆15May 8, 2022Updated 4 years ago
Alternatives and similar repositories for docx2MusicXML
Users that are interested in docx2MusicXML are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 信息与通信工程学院的一些资料收集~☆15Nov 17, 2020Updated 5 years ago
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
- ☆15Aug 11, 2026Updated 2 months ago
- ☆13May 25, 2017Updated 9 years ago
- Xray一键安装脚本，支持节点自动生成伪装站，支持和宝塔面板共存☆15Jan 17, 2023Updated 3 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.
- A wireless infusion pump system workbench for security research☆18Jun 22, 2022Updated 4 years ago
- ☆18Jul 12, 2025Updated last year
- Make/Encode some basic logic puzzles☆22Jul 10, 2024Updated 2 years ago
- ☆18Oct 27, 2024Updated 2 years ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 9 months ago
- [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …☆26May 29, 2024Updated 2 years ago
- ☆22Feb 29, 2024Updated 2 years ago
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated 3 weeks ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆24Dec 12, 2021Updated 4 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.
- Project to verify the Guy-Selfridge conjectures☆31Jun 24, 2026Updated 4 months ago
- ☆26Jun 28, 2026Updated 4 months ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- Code for NeurIPS2023 Paper "Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning"☆26Dec 19, 2023Updated 2 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- CookingZoo: a gym-cooking derivative to simulate a complex cooking environment☆23Dec 6, 2024Updated last year
- [ICML'26 Spotlight] Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving☆31Jun 29, 2026Updated 4 months ago
- Set Theory Game☆31Oct 17, 2026Updated 2 weeks ago
- An assignment for building an NLP system from scratch.☆28Mar 11, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆31Apr 3, 2026Updated 7 months ago
- a novel self-evolving paradigm, without task, reward, or complex workflow☆35May 12, 2026Updated 5 months ago
- ☆46Mar 12, 2024Updated 2 years ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆37Oct 27, 2026Updated last week
- A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.☆44Updated this week
- ☆48Jun 24, 2025Updated last year
- ☆38Jan 10, 2025Updated last year
- Telescope.Touch is the definitive mobile planetarium, also featuring full telescope control via INDI.☆48Dec 16, 2022Updated 3 years ago
- ☆51Aug 5, 2025Updated last year
- 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.
- Deep Graph Mapper: Seeing Graphs through the Neural Lens☆59Jul 6, 2023Updated 3 years ago
- ☆63Aug 23, 2023Updated 3 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆45Jul 1, 2026Updated 4 months ago
- 呐、今天去哪个空教室睡觉呢？☆53Mar 8, 2022Updated 4 years ago
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆47Jun 11, 2025Updated last year
- finding new ramsey bounds through scaling autoresearch☆49May 13, 2026Updated 5 months ago
- Super fast implementations of common benchmark text world games☆55Aug 25, 2025Updated last year