Repositories Users Organizations Code
Filter
Sort
Projects/ dibbler
Python 3 0
PVVVV
cli internal kiosk python slabbedasker
Updated 2026-07-18 11:44:01 +02:00
frero/ nixos-config
Nix 1 0
multi-machine nixos monorepo
Updated 2026-07-17 06:58:39 +02:00
pederbs/ just-nixpkgs
Just 3 0
crimes (*≧ω≦*)
Updated 2026-07-16 15:13:19 +02:00
vegardbm/ nix-darwin-config
Nix 0 0
Updated 2026-07-16 14:03:13 +02:00
oysteikt/ sf1
Rocq Prover 0 0
coqnbals
Updated 2026-07-14 08:13:23 +02:00
mugiten/ kanjivg
Python 0 0
Kanji vector graphics
kanji vector-graphics
Updated 2026-07-13 13:30:32 +02:00
felixalb/ nixos-config
Nix 5 1
My configuration/dotfiles, containing every host and every service in my nixos network.
Updated 2026-07-12 22:23:12 +02:00
oysteikt/ tapl-proofs
Rocq Prover 0 0
Exercises from "Types and Programming Languages"
Updated 2026-07-09 10:05:39 +02:00
oysteikt/ felnix
Nix 1 0
Your local dealer of meme prs and microbel pings
Updated 2026-07-07 20:23:18 +02:00
oysteikt/ hacc
Python 0 0
hacc
ctf practise writeups
Updated 2026-07-05 01:04:24 +02:00
frero/ advent_of_code
Odin 0 0
my solutions to advent of code problems by year and language
Updated 2026-07-01 21:34:48 +02:00
Drift/ principal-backup-script
Shell 0 0
Nightly backup script running on Principal
backup shell
Updated 2026-06-29 13:35:28 +02:00
frero/ symdjff
Janet 0 0
symbolic differentation in janet
Updated 2026-06-23 06:20:12 +02:00
danio/ nixos-matrix-modules
Nix 2 1
NixOS modules for matrix related services
nix nix-flake nixos linux matrix
Updated 2026-06-22 11:54:27 +02:00
oysteikt/ nixos-matrix-modules
Nix 0 0
NixOS modules for matrix related services
Updated 2026-06-22 11:50:07 +02:00
oysteikt/ nix-dotfiles
Nix 3 0
Nix expressions for managing hosts, dotfiles, packages etc.
nix nix-flake nixos dotfiles linux
Updated 2026-06-21 05:59:08 +02:00
frero/ shogi.ua
Nix 0 0
shoig wawa awesome repo image made by [lololol](https://uiua.org/pad?src=0_19_0-dev_4__eJw1j0FKw0AYhfdzip8UZEKpsR5Al-69QYIxBm0qrdBNF2YCYzpJURCMDdVWMAwFoYKLCt0lS2_xTiJTcfvx-N57LTomNwqufOq5w0t2MnDPQj-6IcgH4owI6pFDLepPpMt6zYjGBJVwqBIf5QFk9TPDdI7pBOkKOsVkOcbdG56-bDrqOoe2UaQr5K_QGXfaTWFIs_ljHeNyILUDWZmkrCBuITVEzGzGkL-EvcAa-d61RXvnA9cja3jRD8L9HWIMOjPtcgaR8GYDlUBvnbbNWrt2BvXN_y_V6y5BZ46ZAHWP95IjV5C6AxFjMW8K6K196oaR1x8xo1Uz45fPEBlE3BTsF9yAkow=)
Updated 2026-06-15 20:02:34 +02:00
pederbs/ zed-config
0 0
I like this one to be mutable, i'll maybe nix it later
Updated 2026-06-13 06:12:45 +02:00
Drift/ PVV-DNS
Nix 0 1
PVVs (future) host network configuration
Updated 2026-06-12 20:14:09 +02:00
Projects/ where-are-my-friends
C 2 0
(wamf) regularly pings minecraft server for player positions using rcon
bluemap minecraft rcon
Updated 2026-06-11 19:54:03 +02:00