nerf
0 followers · 0 following
  • Joined on 2022-06-15
Repositories
10
 Projects Packages Public activity Starred repositories
nerf pushed to main at nerf/OwOpointTracker 2024-10-09 08:19:28 +02:00
1e24fcf466 and now?
9b949230dd does it work?
7ec9a8f10e before flake update
53d405d386 save before stack init
315accc42e before adding stack to develop
Compare 8 commits »
nerf created repository nerf/OwOpointTracker 2024-08-13 01:35:32 +02:00
nerf pushed to master at nerf/thesis 2024-08-08 04:41:34 +02:00
9124739cca tired and scared
nerf pushed to master at nerf/thesis 2024-08-07 04:28:50 +02:00
ac0ce99bb5 I'm scared
0ef95e1735 before adjunction proof
Compare 2 commits »
nerf pushed to main at nerf/choirMail 2024-04-04 18:59:25 +02:00
6ab55f82a6 base version bounce
nerf pushed to main at nerf/choirMail 2023-12-10 19:37:51 +01:00
4f2a6bffda changed table layout and seperator
nerf created repository Splittertech/tickLeisteServer 2023-10-30 12:19:51 +01:00
nerf created branch master in Splittertech/tickLeiste 2023-10-30 12:18:05 +01:00
nerf pushed to master at Splittertech/tickLeiste 2023-10-30 12:18:05 +01:00
5c0134bd06 make it a nix flake
fd9e5545f5 added haddock for removePlayer
3a9592f958 added removePlayer
10318ade8c changed to lts version 17.5
da214ba266 added read instances
Compare 10 commits »
nerf created repository Splittertech/tickLeiste 2023-10-30 12:15:42 +01:00
nerf pushed to master at nerf/thesis 2023-08-20 20:54:26 +02:00
9bf50e4353 setup repo
nerf created repository nerf/thesis 2023-08-20 20:50:20 +02:00
nerf pushed to master at nerf/luatexTest 2023-05-31 12:14:03 +02:00
7fa614fc24 updated lock file
nerf pushed to main at nerf/sodokuSolver 2023-03-24 23:53:43 +01:00
d831bf84da initial commit
nerf pushed to main at nerf/choirMail 2023-03-16 12:04:59 +01:00
93a09e8402 let nixpkgs choose library and compiler versions, hopefully nothing will brake lol
nerf pushed to main at nerf/choirMail 2023-03-10 00:01:13 +01:00
6c25f4a473 let nixpkgs choose library and compiler versions, hopefully nothing will brake lol
nerf pushed to main at nerf/choirMail 2023-03-09 23:26:44 +01:00
c04ffafaaf added ^^ to Jo by request from Jo
e1473205e3 Jo is the new Malte
a354d30cef updated lock
Compare 3 commits »
nerf pushed to main at nerf/graphSat 2022-12-21 00:34:32 +01:00
1b98cb32a1 a start mainly to share
nerf created repository nerf/graphSat 2022-12-20 15:53:08 +01:00
nerf created repository nerf/sodokuSolver 2022-12-07 16:57:46 +01:00