Fedora toolbox with nix.
☆80Jun 22, 2026Updated last week
Alternatives and similar repositories for nix-toolbox
Users that are interested in nix-toolbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- refpolicy-contrib has moved to https://github.com/SELinuxProject/refpolicy☆28Jun 10, 2018Updated 8 years ago
- Clipboard synchronization tool☆13May 30, 2026Updated last month
- ☆11Jun 22, 2026Updated 2 weeks ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆13Mar 22, 2021Updated 5 years ago
- Flatpak builds for Signal, from source☆21Jun 25, 2026Updated last week
- AI Agents on 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.
- Generate zsh completion functions from manpage or `--help`☆10Mar 18, 2020Updated 6 years ago
- Say thanks to the authors of all your installed packages☆29Oct 26, 2025Updated 8 months ago
- Haskel bindings to React☆11Dec 11, 2019Updated 6 years ago
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- Toggle dark mode/night shift with the light sensor!☆13Feb 24, 2024Updated 2 years ago
- Haskell Expression Visualizer☆13Apr 2, 2022Updated 4 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Desktop notifications and modeline display for mu4e☆15Oct 22, 2025Updated 8 months ago
- Lean 4 bindings to libcurl☆14Feb 3, 2026Updated 5 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fedora SELinux Userspace☆28Jun 5, 2026Updated last month
- NixOS and Home Manager modules for the Chuwi Minibook X☆14Feb 20, 2026Updated 4 months ago
- Butane configs to deploy Nomad on Fedora CoreOS☆17Aug 11, 2023Updated 2 years ago
- GitHub Action to execute tests by Testing Farm and update Pull Request status☆13Jun 16, 2026Updated 2 weeks ago
- Borg backups monitoring plugin for Zabbix☆16May 7, 2021Updated 5 years ago
- A reactive notebook for Haskell☆107Jun 27, 2026Updated last week
- python client for Zanata☆21Jul 4, 2025Updated last year
- ☆13Nov 28, 2023Updated 2 years ago
- Interacting with tmux from Emacs☆18Mar 9, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆10Apr 24, 2019Updated 7 years ago
- A system for generic fedmsg-driven notifications for end users.☆27Jun 19, 2026Updated 2 weeks ago
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆41Updated this week
- Modern storage benchmark designed for testing filesystem aging.☆11Sep 16, 2025Updated 9 months ago
- Communicate with smserver via terminal and a curses-based gui☆11Mar 7, 2021Updated 5 years ago
- Multi Architecture Provisioning Tool☆22Updated this week
- SELinux policy analysis tool☆17Jan 12, 2021Updated 5 years ago
- Plugin for Micro editor to automatically detect indentation settings☆13May 8, 2026Updated last month
- Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream☆24Updated 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.
- Create .gitignore using GitHub or gitignore.io API☆21Aug 14, 2021Updated 4 years ago
- Private, fast, and honest web browser - now on Flatpak☆45Jun 26, 2026Updated last week
- Typed filepath in haskell☆17Jul 8, 2022Updated 3 years ago
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆60May 27, 2026Updated last month
- Never lose your Eyebrowse window configurations again.☆23Mar 4, 2024Updated 2 years ago
- ☆19May 15, 2025Updated last year
- Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!☆26Jun 11, 2023Updated 3 years ago