Nix packages for reproducible MIR research
☆16Mar 23, 2026Updated this week
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:
- Brax + Pufferlib + CARBS for gpu-accelerated robotics RL☆12Jun 12, 2025Updated 9 months ago
- Discontinued! See https://github.com/timokau/marvin-mk2/issues/34#issuecomment-1100656280 (Previously: "Making sure your PR gets a review…☆19Apr 16, 2022Updated 3 years ago
- Simple forth environment written in 2002☆11Dec 17, 2015Updated 10 years ago
- Execute and optionally rewrite code blocks in Markdown files based on external commands☆21Jan 4, 2026Updated 2 months ago
- OpenVPN with ocproxy/tunsocks/VPN-to-proxy/socks2tun support, as well as AWS VPC. Ported from https://github.com/ValdikSS/openvpn-tunpipe…☆10Nov 2, 2023Updated 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 and start building anything your business needs.
- Template for a basic academic page☆17Feb 24, 2026Updated last month
- Random assortment of Forth programs that solve CS 101 sort of problems.☆13Mar 11, 2026Updated 2 weeks ago
- XSLT procedural language for PostgreSQL☆20Mar 26, 2025Updated last year
- Extremely simple but practical templating engine for writing tedious Java code☆22Jul 19, 2011Updated 14 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- Composer plugin to help with Nix packaging☆17May 20, 2022Updated 3 years ago
- ☆11May 29, 2024Updated last year
- This is the official implementation of our neural-network-based fast diffuse room impulse response generator (FAST-RIR) for generating r…☆12Nov 30, 2021Updated 4 years ago
- Compute distribution-based quality metrics for audio data using embeddings, with a focus on music.☆43Jan 15, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Mar 23, 2025Updated last year
- Lightning fast .note -> .pdf☆38Aug 13, 2025Updated 7 months ago
- The Rocq Prover bot☆26Jan 30, 2026Updated last month
- Allows to install and load Semantic MediaWiki and associated extensions in one go☆20Mar 17, 2025Updated last year
- TASTy Migration Manager☆12Oct 9, 2025Updated 5 months ago
- when the fetch is sus☆11Sep 8, 2022Updated 3 years ago
- Render MuJoCo scenes in bevy☆26Oct 7, 2025Updated 5 months ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- Semantic Versioning for Scala / SemVer for Scala☆11Feb 21, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repository for the OpenTTD NewGRF mod, OpenHRT Estrogen.☆17Jun 14, 2025Updated 9 months ago
- Audio loudness analysis tool for your music.☆15Dec 26, 2025Updated 3 months ago
- A Nix-style immutable data management library in Python☆14Mar 14, 2024Updated 2 years ago
- Noto Music☆12Jun 18, 2025Updated 9 months ago
- Binary logical relations library for the Coq proof assistant☆22Updated this week
- tool to control Kakoune editor from the command line☆13Jul 13, 2025Updated 8 months ago
- a middleware for the echov4 web framework to use opentracing☆12Feb 22, 2026Updated last month
- Testable back-end programming pattern☆13Aug 3, 2023Updated 2 years ago
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 2 years ago
- 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.
- MuJoCo bindings and high-level wrappers for the Rust programming language. Includes the viewer.☆47Updated this week
- Extensible Free Monad Effects☆15Mar 16, 2021Updated 5 years ago
- Virtual Webcam w/ASCII Filter☆14May 10, 2020Updated 5 years ago
- A Chrome Extension to keep sets of tabs handy☆24Aug 18, 2021Updated 4 years ago
- Forth system for Atmel AVR microcontrollers. See:☆13Oct 31, 2016Updated 9 years ago
- Butterfly-shaped 34-key keyboard.☆25Feb 6, 2024Updated 2 years ago
- Convert audio recordings of drums into MIDI files with Hidden Markov Models.☆11Jul 19, 2016Updated 9 years ago