Nix packages for reproducible MIR research
☆16Mar 23, 2026Updated last month
Alternatives and similar repositories for mirpkgs
Users that are interested in mirpkgs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Self-Supervised Contrastive Learning of Music Spectrograms☆31May 10, 2021Updated 4 years ago
- Discontinued! See https://github.com/timokau/marvin-mk2/issues/34#issuecomment-1100656280 (Previously: "Making sure your PR gets a review…☆19Apr 16, 2022Updated 4 years ago
- Execute and optionally rewrite code blocks in Markdown files based on external commands☆24Apr 7, 2026Updated last month
- Template for a basic academic page☆18Apr 14, 2026Updated 3 weeks ago
- Logiciel utilise sur la plateforme HAL☆12Jul 13, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Composer plugin to help with Nix packaging☆17May 20, 2022Updated 3 years ago
- ☆11May 29, 2024Updated last year
- Android app for Mind-Wandering experiment☆12Feb 23, 2017Updated 9 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated last week
- Bist du schon drin?☆44Jan 1, 2025Updated last year
- Rust bindings to libopus☆19May 2, 2026Updated last week
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- Semantic Versioning for Scala / SemVer for Scala☆11Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Mar 9, 2023Updated 3 years ago
- A Nix-style immutable data management library in Python☆14Mar 14, 2024Updated 2 years ago
- Noto Music☆13Jun 18, 2025Updated 10 months ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Jul 13, 2023Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 3 years ago
- tool to control Kakoune editor from the command line☆13Jul 13, 2025Updated 9 months ago
- A python script for extracting loops from audio files.☆53Jul 26, 2024Updated last year
- Lamdera port of elm-spa realworld implementation, adding a full backend implementation.☆27Dec 17, 2024Updated last year
- Testable back-end programming pattern☆12Aug 3, 2023Updated 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.
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 3 years ago
- Extensible Free Monad Effects☆15Mar 16, 2021Updated 5 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆28Mar 2, 2026Updated 2 months ago
- Convert audio recordings of drums into MIDI files with Hidden Markov Models.☆13Jul 19, 2016Updated 9 years ago
- Supervised and unsupervised Concept-based explanation of pretrained music classifiers☆12Jul 27, 2023Updated 2 years ago
- A high availability cluster for nix-infra☆22Dec 18, 2025Updated 4 months ago
- A Hashicorp Configuration Language plugin for nushell☆13Apr 15, 2026Updated 3 weeks ago
- Splash screen for the Kakoune editor☆10Oct 21, 2025Updated 6 months ago
- Execute commands on Source Engine textmode windows (and otherwise)☆11Feb 22, 2022Updated 4 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.
- Building and caching nixpkgs with cudaSupport=true. We push to https://cuda-maintainers.cachix.org/☆23Nov 28, 2024Updated last year
- macOS VMs with Nix on Linux☆11Jan 3, 2026Updated 4 months ago
- The select-then-update surround plugin for Kakoune.☆16Jan 31, 2025Updated last year
- A synthwave-style demo that ranked 1st in ARM DemoCompo in Trondheim, 2018. Designed to be run in Chrome on a Samsung Galaxy S9☆17Jul 10, 2024Updated last year
- ☆24Jun 13, 2022Updated 3 years ago
- Just my dotfiles☆13Mar 3, 2024Updated 2 years ago
- Perceived Music Quality Dataset☆12Jul 1, 2024Updated last year