nerf
0 followers · 0 following
  • Joined on 2022-06-15
Repositories
10
 Projects Packages Public activity Starred repositories
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
nerf pushed to main at nerf/choirMail 2022-11-18 12:11:03 +01:00
4bc23000bd minimized text vs lazytext conversions between lib calls
3deede4516 updated nixpkg version
Compare 2 commits »
nerf pushed to main at nerf/choirMail 2022-11-14 14:24:25 +01:00
cc90208886 Added stuff to todo list
nerf pushed to main at nerf/choirMail 2022-11-14 12:25:04 +01:00
85344c0867 added stuff to readme
cbc22ea207 made the config file format a bit more sensible
Compare 2 commits »