Fedora toolbox with nix.
☆69Apr 27, 2026Updated this 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:
- LogJuicer extracts anomalies from log☆26Nov 21, 2025Updated 5 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Clipboard synchronization tool☆13Updated this week
- Language Server for RPM spec files☆45Updated this week
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆13Mar 22, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Flatpak builds for Signal, from source☆18Apr 18, 2026Updated last week
- Say thanks to the authors of all your installed packages☆29Oct 26, 2025Updated 6 months ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- ☆14Nov 11, 2020Updated 5 years ago
- Toggle dark mode/night shift with the light sensor!☆13Feb 24, 2024Updated 2 years ago
- ☆12Jan 2, 2026Updated 3 months ago
- Desktop notifications and modeline display for mu4e☆15Oct 22, 2025Updated 6 months ago
- Lean 4 bindings to libcurl☆14Feb 3, 2026Updated 2 months ago
- NixOS and Home Manager modules for the Chuwi Minibook X☆15Feb 20, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Koji buildsystem CLI tool to query tasks, install build rpms, and check buildlog sizes☆11Dec 23, 2025Updated 4 months ago
- Launch and manage your Tmux sessions from Dhall files.☆17Nov 30, 2020Updated 5 years ago
- A reactive notebook for Haskell☆80Updated this week
- python client for Zanata☆21Jul 4, 2025Updated 9 months ago
- ☆10May 10, 2023Updated 2 years ago
- Effortlessly connect and control your Petkit W5 Water Fountains with this powerful Python library. Utilizing BLE and Python to expose dev…☆17Apr 3, 2026Updated 3 weeks ago
- Interacting with tmux from Emacs☆19Mar 9, 2015Updated 11 years ago
- ☆16Dec 31, 2025Updated 3 months ago
- This repository will be for Dockerfiles for the various LBRY packages.☆11Oct 28, 2020Updated 5 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.
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆36Mar 27, 2026Updated last month
- Trigger commands based on touchscreen gestures from libinput events☆11Jun 2, 2020Updated 5 years ago
- An Emacs 24 theme with the Answer to The Ultimate Question of Life, the Universe, and Everything... well. ok, perhaps not ( crib-sheet : …☆14Mar 24, 2013Updated 13 years ago
- A directory of web based creative tools.☆44Apr 15, 2020Updated 6 years ago
- desktop notification client☆10Jul 11, 2023Updated 2 years ago
- Create .gitignore using GitHub or gitignore.io API☆21Aug 14, 2021Updated 4 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆22Oct 8, 2015Updated 10 years ago
- Traefik v3 plugin which allows you to pass an API-TOKEN in the header request of the targeted service. Supports whitelisted IP blocks. Lo…☆15Oct 14, 2025Updated 6 months ago
- ☆15Mar 9, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Husky inspired easy-to-use git hooks manager for deno☆31May 16, 2024Updated last year
- Typed filepath in haskell☆17Jul 8, 2022Updated 3 years ago
- My custom Arch Linux PKGBUILD of the Emacs development target☆10Mar 4, 2025Updated last year
- Wayland-native runner☆11Aug 17, 2024Updated last year
- Never lose your Eyebrowse window configurations again.☆23Mar 4, 2024Updated 2 years ago
- Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!☆27Jun 11, 2023Updated 2 years ago
- Emacs Heex major mode using Treesitter for fontification, navigation and indentation☆24May 11, 2025Updated 11 months ago