Oystein Kristoffer Tveit oysteikt
6 Followers · 22 Following
Overview Repositories
53
 Projects Packages Code Public Activity Starred Repositories
36
Filter
Sort
sf1
Coq 0 0
coqnbals
Updated 2026-03-12 03:30:54 +01:00
sf1-template
Coq 0 1
Software Foundations 1 exercises with nix shell, coqnbals
Updated 2026-03-10 06:42:50 +01:00
mail-setup
0 0
Old style mail setup on PVV
Updated 2026-02-20 11:11:11 +01:00
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
heimdal
C 0 0
Fork of https://github.com/heimdal/heimdal
Updated 2026-02-13 17:12:05 +01:00
uutil-linux
Rust 0 0
Fork of https://github.com/uutils/util-linux
Updated 2026-01-27 08:58:10 +01:00
nixos-matrix-modules
Nix 0 0
NixOS modules for matrix related services
Updated 2026-01-26 13:25:09 +01:00
PVV-DNS-NG-REVENGE
Nix 0 0
PVVs (abhorrent) host network configuration
Updated 2026-01-22 16:19:12 +01:00
woossh Archived
Rust 1 0
Tool for routing SSH traffic through websocket
rust cli network proxy ssh
Updated 2026-01-02 15:48:03 +01:00
.profile
SVG 0 0
Updated 2025-12-16 21:38:06 +01:00
shells
Nix 0 0
oil
nix nix-flake
Updated 2025-08-16 19:02:07 +02:00
nixos-rpi5
Nix 0 0
Run the nix on the os on the raspberry on the pi (5th edition)
Updated 2025-06-04 07:31:19 +02:00
rust-fidb-generator
Rust 0 0
Ghidra function id database generator for rust binaries
cli ctf reverse-engineering
Updated 2025-05-21 11:00:39 +02:00
kanji-sheets
TeX 0 0
Kanji training book based on the kyouiku system
japanese latex typesetting
Updated 2025-05-15 15:55:12 +02:00
gitea-icon-provider
0 0
Cutesy gitea icons :3
Updated 2025-03-22 02:31:44 +01:00