Nix packages for reproducible MIR research
☆16Aug 17, 2026Updated 2 months ago
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:
- Various primitive scripts cobbled together to produce an easy flamegraph of nix eval☆16Dec 4, 2024Updated last year
- A benchmark comparing nix binary cache solutions☆20Apr 20, 2026Updated 6 months ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 7 years ago
- Synchronizes everything☆13Jan 1, 2025Updated last year
- Prepare PDF files for booklet printing☆11Nov 26, 2017Updated 8 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.
- Django Code for the Webpage☆11Jan 26, 2025Updated last year
- 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
- snmp agent☆13Mar 21, 2016Updated 10 years ago
- OCaml as a Tactic Language for the Rocq Prover☆22Oct 27, 2026Updated last week
- Fast keyboard-driven terminal image browser for browsing, comparing, and selecting large image collections.☆16Oct 23, 2026Updated 2 weeks ago
- A Python-based web service to print labels on Brother QL label printers. Based on brother_ql: https://github.com/pklaus/brother_ql☆10Sep 16, 2022Updated 4 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- A certified checker for Datalog entailments, written in Lean☆14Oct 22, 2026Updated 2 weeks ago
- Haskell bindings for systemd☆23Jul 10, 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.
- ☆14May 7, 2024Updated 2 years ago
- all nix expressions for my infra☆12Updated this week
- 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
- Composer plugin to help with Nix packaging☆17May 20, 2022Updated 4 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Sep 13, 2026Updated last month
- Experimental U-Boot fork with iPod nano support☆12Oct 26, 2026Updated last week
- A nushell plugin to list system network interfaces☆27Jun 8, 2025Updated last year
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 6 months 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.
- (LEGACY) Documentation for Wiki.js v1☆16May 21, 2023Updated 3 years ago
- TASTy Migration Manager☆14Oct 9, 2025Updated last year
- Scaladoc link checker for sbt☆11Sep 5, 2026Updated 2 months ago
- Import digital REWE receipts into Grocy!☆16May 22, 2023Updated 3 years ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 4 years ago
- Compute distribution-based quality metrics for audio data using embeddings, with a focus on music.☆46Oct 2, 2026Updated last month
- ☆19Sep 1, 2026Updated 2 months ago
- ☆10Mar 9, 2023Updated 3 years ago
- Open-source decompilation of Disstrack☆12Oct 18, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Nushell plugin for interacting with D-Bus☆36Jan 8, 2025Updated last year
- Allows to install and load Semantic MediaWiki and associated extensions in one go☆20Mar 17, 2025Updated last year
- A Nix-style immutable data management library in Python☆14Mar 14, 2024Updated 2 years ago
- Nix flake for several AI projects☆42Mar 23, 2026Updated 7 months ago
- The Rocq Prover bot☆32Updated this week
- Strongly typed DNS for scala. Based on the cats ecosystem with scodec and fs2☆12Aug 6, 2024Updated 2 years ago
- A small package for doing comprehensive retries.☆17Jun 23, 2026Updated 4 months ago