Explore projects

loutr / Proost
Other

A simple proof assistant written in Rust

9

Updated May 17, 2024

9 1 18 33

Updated May 17, 2024
Nounous / nixos

1

Updated Dec 22, 2024

1 0 2 2

Updated Dec 22, 2024
K

aeltheos / kubernetes

1

Updated Jul 06, 2023

1 0 0 0

Updated Jul 06, 2023
N

aalbert / nixos

1

Updated Dec 19, 2024

1 1 0 0

Updated Dec 19, 2024
E

pigeonmoelleux / Effovex
GNU General Public License v3.0 only

1

Updated Dec 15, 2022

1 0 0 0

Updated Dec 15, 2022
S

pigeonmoelleux / SkavOS

Minimal operating system

1

Updated May 28, 2023

1 0 1 3

Updated May 28, 2023
R

aeltheos / rt-learning-c

0

Updated Sep 04, 2022

0 0 0 0

Updated Sep 04, 2022
L

pigeonmoelleux / Leçons agrégation

0

Updated Dec 05, 2023

0 0 0 0

Updated Dec 05, 2023
N

aeltheos / nixos

0

Updated Nov 18, 2024

0 0 0 0

Updated Nov 18, 2024
N

pigeonmoelleux / nixos

Nixos configuration

0

Updated Dec 25, 2024

0 0 0 0

Updated Dec 25, 2024
O

aeltheos / openstack-on-nixos
Apache License 2.0

0

Updated Oct 20, 2024

0 0 0 0

Updated Oct 20, 2024
jeanas / Proost
GNU General Public License v3.0 or later

My fork of Proost.

0

Updated Jan 05, 2023

0 0 0 0

Updated Jan 05, 2023
S

mediatek / site-kwei
MIT License

0

Updated Sep 11, 2022

0 0 0 0

Updated Sep 11, 2022
L

aalbert / LogIA

0

Updated Jan 02, 2023

0 0 0 0

Updated Jan 02, 2023
I

aeltheos / infrastructure

0

Updated Jun 25, 2023

0 0 0 0

Updated Jun 25, 2023
N

shirenn / nixos-crans
GNU General Public License v3.0 or later

0

Updated Jun 13, 2023

0 0 0 0

Updated Jun 13, 2023
P

aalbert / Paronymes

0

Updated Aug 12, 2023

0 0 0 0

Updated Aug 12, 2023
S

aeltheos / sd-boot-bootspec

0

Updated Apr 06, 2023

0 0 0 2

Updated Apr 06, 2023
N

aeltheos / nixos-v3

0

Updated Sep 10, 2024

0 0 0 0

Updated Sep 10, 2024
N

lzebulon / Nix Belenios

0

Updated Oct 08, 2024

0 0 0 0

Updated Oct 08, 2024