nova nova
0 Followers · 0 Following
Repositories
6
 Projects Packages Public Activity Starred Repositories
nova pushed to main at nova/nvde 2024-02-13 18:32:03 +00:00
f3bb1c2cee latex update
nova created branch main in nova/dotfiles 2024-02-03 15:13:01 +00:00
nova pushed to main at nova/dotfiles 2024-02-03 15:13:01 +00:00
7f729599a9 initial commit
nova created repository nova/dotfiles 2024-02-03 15:10:16 +00:00
nova pushed to main at nova/nvde 2024-01-30 19:55:19 +00:00
c347de44e3 lsp related changes
nova pushed to main at nova/nvde 2024-01-29 23:13:06 +00:00
a97c33a024 rm of lazy-lock
nova pushed to main at nova/nvde 2024-01-29 23:11:19 +00:00
516fe4a063 start of startscreen overhaul
nova pushed to main at nova/nvde 2024-01-29 22:26:07 +00:00
95a377929a lsp integration with coq
nova pushed to main at nova/nvde 2024-01-28 23:08:08 +00:00
37e28c2b11 lsp change to coq
nova pushed to main at nova/nvde 2024-01-28 21:22:30 +00:00
56e9bb7d04 dvorak
nova pushed to main at nova/tern-assembler 2023-12-23 17:22:48 +00:00
3b094f55b8 initial commit
nova created repository nova/tern-assembler 2023-12-23 17:20:03 +00:00
nova pushed to main at nova/nvde 2023-09-25 21:50:15 +00:00
7f9c18536b switch to luasnip, added better snipplets
nova pushed to main at nova/nvde 2023-08-24 21:43:09 +00:00
2f106d659b switch to lazy.nvim and unfinished nvim-tree
nova pushed to main at nova/nvde 2023-08-10 22:31:59 +00:00
04e8731ab6 switch to actual git
4d30d92930 switch to actual git
Compare 2 commits »
nova pushed to main at nova/nvde 2023-07-30 22:52:47 +00:00
433c861ac6 Upload files to ""
nova pushed to main at nova/nvde 2023-07-30 22:52:26 +00:00
f2d81f6fc4 Upload files to "lua"
nova pushed to main at nova/nvde 2023-07-30 22:51:22 +00:00
ade29d52b6 Upload files to "lua/ui"
nova pushed to main at nova/nvde 2023-07-30 22:50:31 +00:00
35cddb2c7c Delete status.lua
nova pushed to main at nova/nvde 2023-07-30 22:50:26 +00:00
eb7551a17f Delete startscreen.lua