|
923cf653ff
|
agda bump
|
2024-08-23 22:07:47 +02:00 |
|
|
8fb3ddb0d7
|
protonmail desktop
|
2024-07-26 18:21:36 +02:00 |
|
|
4965c32923
|
no more lix
|
2024-07-12 13:11:21 +02:00 |
|
|
fe5654ceec
|
lix
|
2024-07-10 19:10:18 +02:00 |
|
|
df0eb6c347
|
nixprof
|
2024-07-03 19:13:15 +02:00 |
|
|
a6f591f6e0
|
wallpaper
|
2024-06-25 16:01:07 +02:00 |
|
|
2a8d033f7d
|
bump flake
|
2024-06-25 13:57:09 +02:00 |
|
|
791d65a78d
|
plasma manager
|
2024-06-25 12:11:51 +02:00 |
|
|
24adf1ad54
|
more refactor
|
2024-06-24 22:35:21 +02:00 |
|
|
ac03747210
|
fix shell menu actually being a vim plugin
|
2024-06-24 22:00:24 +02:00 |
|
|
fac169231c
|
refactor :)
|
2024-06-24 21:53:35 +02:00 |
|
|
242ec70992
|
unstable in registry
|
2024-06-24 18:19:10 +02:00 |
|
|
6b52d58f2e
|
vcv-rack
|
2024-06-18 11:57:43 +02:00 |
|
|
9467e4cb8a
|
24.05
|
2024-06-04 00:26:34 +02:00 |
|
|
259c7dc997
|
remove server config from repo
|
2024-05-23 10:51:25 +02:00 |
|
|
d598e458cd
|
mjau eta things
|
2024-04-26 15:21:28 +02:00 |
|
|
e51088400f
|
add unstable packages
|
2024-04-19 15:24:00 +02:00 |
|
|
5b15769ad5
|
ocamllsp
|
2024-04-19 15:17:01 +02:00 |
|
|
081d5068c2
|
slippi netplay
|
2024-03-05 20:44:23 +01:00 |
|
|
965fa89ab9
|
cornelis update
|
2024-02-10 14:51:44 +01:00 |
|
|
403cd67696
|
whalebird
|
2024-01-03 17:29:14 +01:00 |
|
|
08b393988f
|
fix cornelis being weird
|
2023-12-01 19:48:02 +01:00 |
|
|
55d22acb4f
|
switch to 23.11
|
2023-12-01 18:16:14 +01:00 |
|
|
9042ed10af
|
sax2 nerdfont
|
2023-11-18 23:30:05 +01:00 |
|
|
78bdf0a511
|
refactor out common options
|
2023-11-18 11:29:47 +01:00 |
|
|
78a50f078d
|
give in to xenias demands
|
2023-10-27 23:32:43 +02:00 |
|
|
1b3880eb6a
|
add fox layout
|
2023-10-19 00:59:41 +02:00 |
|
|
4f65cde626
|
add agda as flake
|
2023-10-12 23:24:36 +02:00 |
|
|
f6f49c964d
|
cornelis for agda mode in neovim
|
2023-10-06 12:01:35 +02:00 |
|
|
99232cfe9f
|
remove julia2nix
|
2023-10-06 01:12:55 +02:00 |
|
|
6cc6bd37cc
|
julia2nix
|
2023-09-12 21:36:52 +02:00 |
|
|
51f30e487c
|
added desktop (computational)
|
2023-08-19 16:58:57 +02:00 |
|
|
20dfde5bd0
|
remove rec from flake
|
2023-07-31 14:27:24 +02:00 |
|
|
a123f87b22
|
switch to flake based config
|
2023-07-31 14:18:24 +02:00 |
|