Explore projects

N

pigeonmoelleux / nixos

Nixos configuration

0

Updated Dec 25, 2024

0 0 0 0

Updated Dec 25, 2024
Nounous / nixos

1

Updated Dec 22, 2024

1 0 2 2

Updated Dec 22, 2024
N

aalbert / nixos

1

Updated Dec 19, 2024

1 1 0 0

Updated Dec 19, 2024
N

igolta / NixOS Config
MIT License

0

Updated Dec 17, 2024

0 0 0 0

Updated Dec 17, 2024
N

aeltheos / nixos

0

Updated Nov 18, 2024

0 0 0 0

Updated Nov 18, 2024
N

Nounous / nix-pull

0

Updated Nov 06, 2024

0 0 0 0

Updated Nov 06, 2024
O

aeltheos / openstack-on-nixos
Apache License 2.0

0

Updated Oct 20, 2024

0 0 0 0

Updated Oct 20, 2024
C

aeltheos / config.nix

0

Updated Oct 19, 2024

0 0 0 0

Updated Oct 19, 2024
N

lzebulon / Nix Belenios

0

Updated Oct 08, 2024

0 0 0 0

Updated Oct 08, 2024
I

aeltheos / infra

0

Updated Sep 15, 2024

0 0 0 0

Updated Sep 15, 2024
N

aeltheos / nixos-v3

0

Updated Sep 10, 2024

0 0 0 0

Updated Sep 10, 2024
Nounous / Crans Passwords
GNU General Public License v3.0 only

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.

gpg password man... ssh

0

Updated Aug 16, 2024

0 6 0 5

Updated Aug 16, 2024
loutr / Proost
Other

A simple proof assistant written in Rust

9

Updated May 17, 2024

9 1 18 33

Updated May 17, 2024
C

pigeonmoelleux / crans-dotfiles

0

Updated Feb 27, 2024

0 0 0 0

Updated Feb 27, 2024
N

aeltheos / Nixstack

0

Updated Feb 17, 2024

0 0 0 0

Updated Feb 17, 2024
L

pigeonmoelleux / Leçons agrégation

0

Updated Dec 05, 2023

0 0 0 0

Updated Dec 05, 2023
N

v-lafeychine / nixos

0

Updated Oct 17, 2023

0 0 0 0

Updated Oct 17, 2023
P

aalbert / Paronymes

0

Updated Aug 12, 2023

0 0 0 0

Updated Aug 12, 2023
K

aeltheos / kubernetes

1

Updated Jul 06, 2023

1 0 0 0

Updated Jul 06, 2023
I

aeltheos / infrastructure

0

Updated Jun 25, 2023

0 0 0 0

Updated Jun 25, 2023