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
E

pigeonmoelleux / Effovex
GNU General Public License v3.0 only

1

Updated Dec 15, 2022

1 0 0 0

Updated Dec 15, 2022
L

v-lafeychine / L3 - Projet programmation 2

Archived 1

Updated Jul 19, 2022

Archived 1 0 1 4

Updated Jul 19, 2022
N

Nounous / nixos

1

Updated Dec 10, 2024

1 0 1 0

Updated Dec 10, 2024
K

aeltheos / kubernetes

1

Updated Jul 06, 2023

1 0 0 0

Updated Jul 06, 2023
N

aalbert / nixos

1

Updated Oct 27, 2024

1 1 0 0

Updated Oct 27, 2024
S

pigeonmoelleux / SkavOS

Minimal operating system

1

Updated May 28, 2023

1 0 1 3

Updated May 28, 2023
L

v-lafeychine / LogIA

Archived 0

Updated Dec 04, 2022

Archived 0 0 0 0

Updated Dec 04, 2022
L

pigeonmoelleux / Leçons agrégation

0

Updated Dec 05, 2023

0 0 0 0

Updated Dec 05, 2023
N

igolta / NixOS Config
MIT License

0

Updated Nov 30, 2024

0 0 0 0

Updated Nov 30, 2024
N

aeltheos / nixos

0

Updated Nov 18, 2024

0 0 0 0

Updated Nov 18, 2024
N

pigeonmoelleux / nixos

Nixos configuration

0

Updated Dec 07, 2024

0 0 0 0

Updated Dec 07, 2024
M

v-lafeychine / mirc

Archived 0

Updated Feb 09, 2023

Archived 0 0 0 0

Updated Feb 09, 2023
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

v-lafeychine / SkavOS-bootimage

Archived 0

Updated Nov 23, 2023

Archived 0 0 0 1

Updated Nov 23, 2023
S

mediatek / site-kwei
MIT License

0

Updated Sep 11, 2022

0 0 0 0

Updated Sep 11, 2022
I

aeltheos / infrastructure

0

Updated Jun 25, 2023

0 0 0 0

Updated Jun 25, 2023
L

aalbert / LogIA

0

Updated Jan 02, 2023

0 0 0 0

Updated Jan 02, 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