NixOS configs
☆11Oct 26, 2020Updated 6 years ago
Alternatives and similar repositories for nix
Users that are interested in nix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Nov 29, 2020Updated 5 years ago
- A simple module for enabling Hydra☆14May 25, 2020Updated 6 years ago
- Agda formalisation of FOTC (First-Order Theory of Combinators).☆13Aug 25, 2026Updated 2 months ago
- Templates for getting started with Nix: home-manager, Rust projects, Python projects, C++ projects, etc.☆14Sep 29, 2026Updated last month
- A matrix of install tests for Nix.☆16Jul 25, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- (Finite) multisets in Cubical Agda☆11Apr 22, 2026Updated 6 months ago
- Final year project☆14Apr 1, 2026Updated 7 months ago
- Personal NixOS configuration☆63Oct 16, 2026Updated 3 weeks ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- My configuration for terminal based development.☆14Jul 16, 2025Updated last year
- A static site generator that's just Pandoc and Make☆17Apr 19, 2017Updated 9 years ago
- nix stuff☆26Oct 30, 2026Updated last week
- Nix written in rust (this will take some time if it will ever finish)☆24Nov 21, 2020Updated 5 years ago
- ☆10Apr 6, 2017Updated 9 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.
- A multi-version Sphinx building tool based on containers☆13Feb 20, 2026Updated 8 months ago
- 🍖barbq is a text based status bar for macOS☆44Apr 17, 2021Updated 5 years ago
- TOTP client for the command line - like Google Authenticator for your desktop.☆12Sep 10, 2015Updated 11 years ago
- eMail client in Bash☆17Apr 4, 2021Updated 5 years ago
- Automated Neuron Reconstruction from 3D Fluorescence Microscopy Images Using Sequential Monte Carlo Estimation☆10Apr 25, 2024Updated 2 years ago
- a flake to aggregate pure nix libs which do not depend on nixpkgs [maintainer=@Artturin]☆14Updated this week
- Neuronal Morphologies & Circuits☆11Oct 8, 2017Updated 9 years ago
- Nix URI libs and utils☆15Aug 10, 2024Updated 2 years ago
- ☆13Feb 27, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This project aims to help implement and enforce various security standards in NixOS. Regula meaning standards in latin.☆37Mar 10, 2025Updated last year
- Compresso: Efficient Compression of Segmentation Data For Connectomics☆14Sep 7, 2021Updated 5 years ago
- Magic editing of LaTeX tables in GNU Emacs☆30Oct 7, 2026Updated 3 weeks ago
- 💻 Beautiful cross-platform personal onboarding for your daily driver, or docker image, running macOS or Debian based distros across amd6…☆20Jun 25, 2026Updated 4 months ago
- ELF prelinking utility to speed up dynamic linking [unofficial mirror]☆11Jan 27, 2018Updated 8 years ago
- A simple yet powerful timer and time tracker from the command line. https://ammar1y.github.io/Focus-Phase/☆14Dec 9, 2019Updated 6 years ago
- ☆12Mar 22, 2024Updated 2 years ago
- Package for computing multiparameter persistence summaries☆10Oct 27, 2023Updated 3 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Apr 25, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Generate systemd units from NixOS-style descriptions☆48Jul 26, 2023Updated 3 years ago
- Async UDP audio Server (send & receive via multicast UDP using I2S)☆12Jul 29, 2020Updated 6 years ago
- A command-line diary for developers and minimalists.☆19Sep 6, 2026Updated 2 months ago
- Deploy software or an entire NixOS system configuration to another NixOS system.☆57Aug 9, 2021Updated 5 years ago
- Azure wrapper for Elixir using :erlazure.☆11Dec 29, 2023Updated 2 years ago
- A free Doxygen theme that is easy on the eyes☆13Feb 7, 2021Updated 5 years ago
- Organize JavaScript packages with the Nix package manager☆14Dec 31, 2023Updated 2 years ago