Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Most recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

pederbs/ just-nixpkgs

Just 3 0

crimes (*≧ω≦*)

Updated 2026-03-18 01:47:27 +01:00

adriangl/ ambiligth

Rust 0 0

Updated 2026-03-17 12:10:48 +01:00

sanctuary/ interruptsfx

Rust 0 0

Updated 2026-03-16 19:35:54 +01:00

oysteikt/ sf1

Coq 0 0

coqnbals

Updated 2026-03-12 03:30:54 +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

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

Projects/ dibbler

Python 3 0

PVVVV

cli internal kiosk python slabbedasker

Updated 2026-02-16 19:37:43 +01:00

Drift/ ssp-theme

PHP 1 0

fyrkat theme for SimpleSamlPhp

php simplesamlphp theme

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

frero-uni/ TDT4230

C++ 0 0

computer graphics and visualizations

Updated 2026-02-13 23:50:23 +01:00

Drift/ PVV-DNS

Nix 0 1

PVVs (future) host network configuration

Updated 2026-02-13 18:10:02 +01:00

oysteikt/ heimdal

C 0 0

Fork of https://github.com/heimdal/heimdal

Updated 2026-02-13 17:12:05 +01:00

Drift/ principal-backup-script

Shell 0 0

Nightly backup script running on Principal

backup shell

Updated 2026-02-13 10:29:02 +01:00

Drift/ nix-gitea-themes

Less 0 0

Misc. gitea themes

external gitea nix theme

Updated 2026-02-13 06:32:09 +01:00

Projects/ roowho2

Rust 2 0

Linux netkit tools reimplementation

cli external networking systems-programming

Updated 2026-02-12 17:14:32 +01:00

Projects/ where-are-my-friends

C 2 0

regularly pings minecraft server for player positions using rcon

bluemap minecraft rcon

Updated 2026-02-12 10:25:12 +01:00

Projects/ minecraft-kartverket

Python 1 0

Map markers and more for the minecraft map

bluemap geospatial-data gis internal minecraft

Updated 2026-02-12 08:31:49 +01:00

frero-uni/ IT3708

Odin 0 0

bio-inspired artificial intelligence

Updated 2026-02-09 16:13:24 +01:00

Grzegorz/ gergle

Dart 2 0

New UI for gregorz

flutter internal music web

Updated 2026-02-09 07:10:16 +01:00

Drift/ webdoc-analysis

Shell 0 0

Static analysis of ~/web-doc

Updated 2026-02-06 08:54:51 +01:00