Repositories Users Organizations Code
Filter
Sort
adriangl/ nix-dotfiles-v2
Nix 1 0
I felt like starting again, setting up my nixos dotfiles.
Updated 2026-07-08 18:29:50 +02:00
vegardbm/ ImageViewer
Swift 0 0
Peak UX design
Updated 2026-07-07 22:22:20 +02:00
oysteikt/ sf1
Rocq Prover 0 0
coqnbals
Updated 2026-07-07 21:28:20 +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
mugiten/ datasources
Nix 0 0
Repository containing data sources for mugiten, automatically updated every once in a while
Updated 2026-07-07 14:03:11 +02:00
Drift/ pvv-nixos-config
Nix 6 1
PVV's multimachine nixos setup
dotfiles infrastructure internal nix nix-flake nixos
Updated 2026-07-07 09:26:38 +02:00
oysteikt/ tapl-proofs
Rocq Prover 0 0
Exercises from "Types and Programming Languages"
Updated 2026-07-06 11:00:30 +02:00
oysteikt/ hacc
Python 0 0
hacc
ctf practise writeups
Updated 2026-07-05 01:04:24 +02:00
felixalb/ nixos-config
Nix 5 1
My configuration/dotfiles, containing every host and every service in my nixos network.
Updated 2026-07-03 00:07:17 +02:00
pederbs/ just-nixpkgs
Just 3 0
crimes (*≧ω≦*)
Updated 2026-07-02 20:15:47 +02:00
mugiten/ kanjivg
Python 0 0
Kanji vector graphics
kanji vector-graphics
Updated 2026-07-02 14:43:37 +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
frero/ nixos-config
Nix 1 0
multi-machine nixos monorepo
Updated 2026-07-01 20:36:34 +02:00
Projects/ nettsiden
PHP 3 0
Kildekoden bak https://www.pvv.ntnu.no/
internal php web
Updated 2026-06-29 21:05:19 +02:00
pederbs/ config
Nix 2 0
(͡ ͡° ͜ つ ͡͡°) っ✂╰⋃╯
nix nix-flake dotfiles
Updated 2026-06-29 15:15:11 +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
vegardbm/ nix-config
Nix 1 0
My Nix config for devices running NixOS
Updated 2026-06-27 21:52:15 +02:00
Projects/ roowho2
Rust 2 0
Linux netkit tools reimplementation
cli external networking systems-programming
Updated 2026-06-24 06:37:23 +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