Repositories Users Organizations Code
Filter
Sort
frero/ almond-bench
C 0 0
mandelbrot performance comparison janet and c
Updated 2026-07-19 02:51:17 +02:00
vegardbm/ nix-config
Nix 1 0
My Nix config for devices running NixOS
Updated 2026-07-18 20:42:57 +02:00
pederbs/ config
Nix 2 0
(͡ ͡° ͜ つ ͡͡°) っ✂╰⋃╯
nix nix-flake dotfiles
Updated 2026-07-18 14:49:42 +02:00
Drift/ pvv-nixos-config
Nix 6 1
PVV's multimachine nixos setup
dotfiles infrastructure internal nix nix-flake nixos
Updated 2026-07-18 11:44:35 +02:00
Projects/ dibbler
Python 3 0
PVVVV
cli internal kiosk python slabbedasker
Updated 2026-07-18 11:44:01 +02:00
vegardbm/ ImageViewer
Swift 0 0
Peak UX design
Updated 2026-07-17 23:27:34 +02:00
frero/ nixos-config
Nix 1 0
multi-machine nixos monorepo
Updated 2026-07-17 06:58:39 +02:00
adriangl/ nix-dotfiles-v2
Nix 1 0
I felt like starting again, setting up my nixos dotfiles.
Updated 2026-07-17 00:46:43 +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
mugiten/ datasources
Nix 0 0
Repository containing data sources for mugiten, automatically updated every once in a while
Updated 2026-07-14 14:03:17 +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
Projects/ nettsiden
PHP 3 0
Kildekoden bak https://www.pvv.ntnu.no/
internal php web
Updated 2026-06-29 21:05:19 +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