|
|
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 |
|
