danielgafni / nixosView external linksLinks
My NixOS configuration & dotfiles. Flakes, multi-host, multi-user, Hyprland.
☆16Feb 6, 2026Updated last week
Alternatives and similar repositories for nixos
Users that are interested in nixos are comparing it to the libraries listed below
Sorting:
- Ray integration for Dagster☆61Feb 6, 2026Updated last week
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17Feb 3, 2024Updated 2 years ago
- My dotfiles repo for Arch Linux + Hyprland☆26Jan 18, 2026Updated 3 weeks ago
- An attempt at End-4's QuickShell Release☆21Dec 13, 2025Updated 2 months ago
- Dotfiles for my i3 config.☆12Jan 13, 2025Updated last year
- Simple React Starter App☆12Jul 28, 2022Updated 3 years ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- Project Gold ✨☆11Jan 29, 2026Updated 2 weeks ago
- Lightweight, Portable, Phishing and Email Campaign Utility☆12Oct 15, 2018Updated 7 years ago
- ☆12Jul 8, 2025Updated 7 months ago
- app usage logger for hyprland and niri☆46Jan 16, 2026Updated 3 weeks ago
- My NixOS and Home Manager flake for all my hosts, built with Denix☆52Dec 12, 2025Updated 2 months ago
- A trivial solution to your nix dots woes☆19Jan 2, 2026Updated last month
- HA and Impermanent NixOS stateless configurations - hosts multiple workloads with highly defined state using OCI containers.☆11Updated this week
- Bug Bounty Flake☆12Nov 24, 2025Updated 2 months ago
- A login manager that displays ascii art.☆10Oct 16, 2024Updated last year
- The Modern ROS IDE☆36Dec 21, 2025Updated last month
- Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.☆12Dec 2, 2023Updated 2 years ago
- Java stream library☆10Aug 3, 2024Updated last year
- ☆10Aug 8, 2024Updated last year
- A textbook centered around teaching mathematics to physicists and chemists☆12Feb 10, 2022Updated 4 years ago
- A simple NixOS module for ip whitelisting certain ports☆11Dec 4, 2024Updated last year
- A Rust library for Dota 2's Game State Integration.☆15Jan 15, 2026Updated 3 weeks ago
- mDNS backed reverse proxy solution for home labs☆15Jan 6, 2025Updated last year
- A set of tools useful for freelancing☆16Updated this week
- Curated from repositories that make our lives as geoscientists, hackers and data wranglers easier or just more awesome☆13Oct 19, 2024Updated last year
- ☆19Apr 21, 2025Updated 9 months ago
- xavient is a thin split mechanical keyboard that does not sacrifice repairability and upgradablility. Inspired by the sleek design of the…☆18Jan 22, 2026Updated 3 weeks ago
- 🦋 Small scripts and tools to do data stuff with the AT Protocol.☆13Nov 28, 2024Updated last year
- ☆14Jan 24, 2026Updated 2 weeks ago
- A very basic direnv configuration for fish☆11Jan 31, 2026Updated 2 weeks ago
- A lightweight decentralized memory gateway that connects AI agents to Membase for persistent, verifiable multi-session memory.☆16May 14, 2025Updated 8 months ago
- Simple, opinionated image viewer☆10Feb 18, 2025Updated 11 months ago
- ❄️ Home to codgician's nix-managed device profiles☆11Feb 6, 2026Updated last week
- My NixOS system & flake files☆14Updated this week
- Script to retrieve the vertices and faces from a GOCAD TS file for use in python processing☆11Apr 16, 2021Updated 4 years ago
- Guess a 5-letter word, for CBM-based machines (C64, X16, etc.)☆10Mar 21, 2023Updated 2 years ago
- Paperview rewrite in rust w/ compositor support!☆10Dec 22, 2024Updated last year
- Transliteration library for Scala and Scala.js☆10Sep 26, 2020Updated 5 years ago