Explore projects

N

aeltheos / Nixstack

0

Updated Feb 17, 2024

0 0 0 0

Updated Feb 17, 2024
O

aeltheos / openstack-on-nixos
Apache License 2.0

0

Updated Oct 20, 2024

0 0 0 0

Updated Oct 20, 2024
P

aalbert / Paronymes

0

Updated Aug 12, 2023

0 0 0 0

Updated Aug 12, 2023
loutr / Proost
Other

A simple proof assistant written in Rust

9

Updated May 17, 2024

9 1 18 33

Updated May 17, 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
R

aeltheos / rt-learning-c

0

Updated Sep 04, 2022

0 0 0 0

Updated Sep 04, 2022
S

aeltheos / sd-boot-bootspec

0

Updated Apr 06, 2023

0 0 0 2

Updated Apr 06, 2023
S

aeltheos / site-kwei
MIT License

0

Updated Aug 29, 2022

0 1 0 0

Updated Aug 29, 2022
S

mediatek / site-kwei
MIT License

0

Updated Sep 11, 2022

0 0 0 0

Updated Sep 11, 2022
S

pigeonmoelleux / SkavOS

Minimal operating system

1

Updated May 28, 2023

1 0 1 3

Updated May 28, 2023