PVV Git

adriangl/ ambiligth

Rust 0 0

Updated 2026-03-15 13:59:14 +01:00

felixalb/ nixos-config

Nix 5 0

My configuration/dotfiles, containing every host and every service in my nixos network.

Updated 2026-03-13 09:56:47 +01:00

oysteikt/ sf1

Coq 0 0

coqnbals

Updated 2026-03-12 03:30:54 +01:00

vegardbm/ nix-config

Nix 1 0

Updated 2026-03-11 06:11:17 +01:00

vegardbm/ dwl

C 0 0

Updated 2026-03-11 05:42:38 +01:00

pederbs/ config

Nix 2 0

(͡ ͡° ͜ つ ͡͡°) っ✂╰⋃╯

nix nix-flake dotfiles

Updated 2026-03-10 17:49:04 +01:00

Drift/ pvv-nixos-config

Nix 6 1

PVV's multimachine nixos setup

dotfiles infrastructure internal nix nix-flake nixos

Updated 2026-03-10 06:52:09 +01:00

oysteikt/ sf1-template

Coq 0 1

Software Foundations 1 exercises with nix shell, coqnbals

Updated 2026-03-10 06:42:50 +01:00

mugiten/ jadb

Dart 1 0

An SQLite database containing open source japanese language translation data

nix dictionary japanese database language flake sqlite

Updated 2026-03-06 06:42:12 +01:00

adriangl/ nix-dotfiles-v2

Nix 1 0

I felt like starting again, setting up my nixos dotfiles.

Updated 2026-03-03 21:20:28 +01:00

vegard-uni/ oops

Java 0 0

Updated 2026-03-03 06:32:05 +01:00

frero-uni/ TDT4125

Typst 0 0

algorithm construction

Updated 2026-03-02 21:22:44 +01:00

pederbs/ just-nixpkgs

Just 3 0

crimes (*≧ω≦*)

Updated 2026-03-02 00:10:09 +01:00

frero-uni/ TDT4205

C 0 0

compiler construction

Updated 2026-03-01 14:09:28 +01:00

mugiten/ kanjivg

Python 0 0

Kanji vector graphics

kanji vector-graphics

Updated 2026-03-01 09:08:02 +01:00

vegardbm/ ImageViewer

Swift 0 0

Peak UX design

Updated 2026-02-28 21:07:29 +01:00

mugiten/ mugiten

Dart 1 0

Dictionary application for studying japanese

app dictionary japanese kanji language

Updated 2026-02-27 17:19:47 +01:00

mugiten/ kanimaji-dart

Dart 1 0

Render kanji stroke order animations as a flutter widget

japanese

Updated 2026-02-26 05:59:57 +01:00

oysteikt/ mail-setup

0 0

Old style mail setup on PVV

Updated 2026-02-20 11:11:11 +01:00

oysteikt/ nix-dotfiles

Nix 2 0

Nix expressions for managing hosts, dotfiles, packages etc.

nix nix-flake nixos dotfiles linux

Updated 2026-02-20 07:28:16 +01:00