rafaelsgirao

nixos-config

My systems' NixOS configurations.

SO-Project-1

airport-iaed22

awesome-suricata

A curated list of resources related to Suricata IDS.

BD-Project

bubblewrap

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

docker-mailserver

Production-ready fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) running inside a container.

iac22-meteorshower

proj-asa

CG-Project

Comp-Project

Group A11's solution to Compiler's 2024 project.

ES-Project

Group A24's solution to ES's 2024 project.

gitea

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

GSoC

home-manager

Manage a user environment using Nix [maintainer=@rycee]

ipm-bakeoff-2

A solution to 2023's IPM project (2nd part)

nebula

A scalable overlay networking tool with a focus on performance, simplicity and security

nixinate

Another NixOS Deployment Tool - Nixinate your systems 🕶️

nixpkgs

Nix Packages collection & NixOS

proj-ia-bimaru

Projeto de IA 22/23

resumos-leic

Resumos das UCs de LEIC-A do IST

robotnix

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]

rofi-ykman

Yubikey manager script for rofi

SD-Project

Group A18's solution to SD's 2024 project.

snippets

Repo to centralize things that don't deserve their own repo.

Sunshine

Self-hosted game stream host for Moonlight.

tokay-lite-docs

Documentation repository for https://docs.maxlab.io/

trigobot-rs

Trigobot Discord Bot Rewrite in Rust

USBIP-Virtual-USB-Device

Emulates USB Devices using USBIP in Python or c

zed

A novel data lake based on super-structured data