Pol Dellaiera's Master Thesis - Reproducibility In Software Engineering
☆37Feb 19, 2026Updated last week
Alternatives and similar repositories for master-thesis
Users that are interested in master-thesis are comparing it to the libraries listed below
Sorting:
- Execute and optionally rewrite code blocks in Markdown files based on external commands☆20Jan 4, 2026Updated last month
- Zotero built from source on Nix☆20Feb 17, 2026Updated last week
- A simple command-line tool to help you calibrate your sleep schedule.☆24Jul 6, 2025Updated 7 months ago
- A login manager that displays ascii art.☆10Oct 16, 2024Updated last year
- The repo housing the MDs of Hyprland Development standards.☆12Dec 21, 2024Updated last year
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- decentralized web search engine, web archive and feed reader☆14Jul 21, 2025Updated 7 months ago
- VSCode remote development workaround for NixOS(-WSL)☆14Jun 11, 2024Updated last year
- ☆13Aug 15, 2024Updated last year
- 🔩 Find packages that you use that are currently being updated in Nixpkgs.☆17Dec 15, 2025Updated 2 months ago
- A Nixpkgs tracker with notifications! [Maintainer=@Sakooooo]☆13Jan 27, 2026Updated last month
- A open-source python tchat for basic text communications☆10Oct 8, 2022Updated 3 years ago
- NixOS module for templating agenix secrets☆17Oct 12, 2024Updated last year
- A fetch tool written in x86-64 assembly for Linux☆13Oct 4, 2025Updated 4 months ago
- ☆21Updated this week
- ☆17Nov 2, 2025Updated 3 months ago
- home of the marketing team #marketing:nixos.org☆15Jan 12, 2026Updated last month
- ☆14Apr 27, 2025Updated 10 months ago
- Minicraft but in C ¯\_(ツ)_/¯☆15Apr 8, 2024Updated last year
- ☆13Apr 25, 2024Updated last year
- For your premium derivations☆19Jul 17, 2025Updated 7 months ago
- OCI Registry As Nix Cache☆70Jan 23, 2026Updated last month
- A webserver for on the fly delivery of Nix flake artifacts☆48Dec 11, 2025Updated 2 months ago
- My NixOS config for use on my systems.☆22Sep 22, 2025Updated 5 months ago
- Contains the configuration of every home computers☆109Updated this week
- A self hostable nixpkgs review bot☆20Feb 21, 2026Updated last week
- nix-direnv alternative that does not need a .direnv metafile☆18Jun 21, 2024Updated last year
- a hyprland plugin for Animation sound☆22Feb 11, 2024Updated 2 years ago
- Nix Flake to make managing Single Board Computers easy and repeatable.☆52Dec 30, 2025Updated 2 months ago
- Build Caddy with additional plugins with Nix☆19Dec 1, 2025Updated 3 months ago
- Set up a LUKS-encrypted filesystem for Yubikey in NixOS☆89Dec 19, 2023Updated 2 years ago
- An SSH metadata analyser used to showcase a timing-based attack on the protocol.☆29Jun 22, 2024Updated last year
- mkShell meets modules☆31Nov 24, 2025Updated 3 months ago
- A highly customized NixOS configuration.☆23Updated this week
- Nix-based continuous integration☆221Nov 4, 2024Updated last year
- Nix binary cache proxy service -- with local caching and signing.☆270Updated this week
- Dotfiles powered by Nix™ (plus package overlay)☆26Updated this week
- Nix linter based on libnixf☆31Sep 21, 2025Updated 5 months ago
- HOSTS file to block all known NSA / GCHQ / C.I.A. / F.B.I. spying servers☆19Sep 30, 2016Updated 9 years ago