Repositories Users Organizations Code
Filter
Sort
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
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
oysteikt/ nixos-matrix-modules
Nix 0 0
NixOS modules for matrix related services
Updated 2026-06-22 11:50:07 +02:00
Grzegorz/ empidee
Rust 2 0
mpd-rs-ng-revenge 2 bogaloo (mpd protocol in rust, server and client)
external library mpd rust
Updated 2026-06-21 08:49:11 +02:00
oysteikt/ nix-dotfiles
Nix 3 0
Nix expressions for managing hosts, dotfiles, packages etc.
nix nix-flake nixos dotfiles linux
Updated 2026-06-21 05:59:08 +02:00
frero/ shogi.ua
Nix 0 0
shoig wawa awesome repo image made by [lololol](https://uiua.org/pad?src=0_19_0-dev_4__eJw1j0FKw0AYhfdzip8UZEKpsR5Al-69QYIxBm0qrdBNF2YCYzpJURCMDdVWMAwFoYKLCt0lS2_xTiJTcfvx-N57LTomNwqufOq5w0t2MnDPQj-6IcgH4owI6pFDLepPpMt6zYjGBJVwqBIf5QFk9TPDdI7pBOkKOsVkOcbdG56-bDrqOoe2UaQr5K_QGXfaTWFIs_ljHeNyILUDWZmkrCBuITVEzGzGkL-EvcAa-d61RXvnA9cja3jRD8L9HWIMOjPtcgaR8GYDlUBvnbbNWrt2BvXN_y_V6y5BZ46ZAHWP95IjV5C6AxFjMW8K6K196oaR1x8xo1Uz45fPEBlE3BTsF9yAkow=)
Updated 2026-06-15 20:02:34 +02:00
pederbs/ zed-config
0 0
I like this one to be mutable, i'll maybe nix it later
Updated 2026-06-13 06:12:45 +02:00
Drift/ PVV-DNS
Nix 0 1
PVVs (future) host network configuration
Updated 2026-06-12 20:14:09 +02:00
Projects/ where-are-my-friends
C 2 0
(wamf) regularly pings minecraft server for player positions using rcon
bluemap minecraft rcon
Updated 2026-06-11 19:54:03 +02:00
mugiten/ mugiten
Dart 1 0
Dictionary application for studying japanese
app dictionary japanese kanji language
Updated 2026-06-10 06:44:00 +02:00
mugiten/ tamerye
Rust 0 0
Kana transliteration go brrr
database japanese sqlite
Updated 2026-06-10 06:24:53 +02:00
mugiten/ kanimaji-dart
Dart 1 0
Render kanji stroke order animations as a flutter widget
japanese
Updated 2026-06-10 06:24:47 +02:00