diff --git a/nvim/.config/nvim/init.vim b/nvim/.config/nvim/init.vim
index 91e30d2..bd5ae10 100644
--- a/nvim/.config/nvim/init.vim
+++ b/nvim/.config/nvim/init.vim
@@ -25,6 +25,8 @@ Plug 'guersam/vim-j'
 Plug 'wlangstroth/vim-racket'
 Plug 'derekelkins/agda-vim'
 Plug 'ftorres16/spice.vim'
+Plug 'vmware/differential-datalog', {'rtp': 'tools/vim'}
+Plug 'FStarLang/VimFStar', {'for': 'fstar'}
 
 " Themes
 Plug 'arcticicestudio/nord-vim'
@@ -34,6 +36,9 @@ Plug 'junegunn/goyo.vim'
 Plug 'iamcco/markdown-preview.vim'
 Plug 'junegunn/limelight.vim'
 Plug 'luochen1990/rainbow'
+
+" Misc
+Plug 'airblade/vim-gitgutter'
 call plug#end()
 
 set exrc " Execute local vimscripts
@@ -48,6 +53,7 @@ set hidden
 autocmd BufEnter * call ncm2#enable_for_buffer() " Enable ncm2 for all buffers
 autocmd BufRead,BufNewFile *.v set filetype=coq " Coq is not Verilog
 autocmd BufNewFile,BufRead *.cir set filetype=spice " LTSpice is Spice
+autocmd BufRead,BufNewFile *.dl set filetype=dl " Datalog is Datalog
 autocmd FileType crystal setlocal shiftwidth=2 " Crystal likes 2-wide indent
 
 set completeopt=noinsert,menuone
@@ -86,7 +92,8 @@ let g:LanguageClient_serverCommands = {
               \ 'c': ['clangd'],
               \ 'crystal': ['/home/vanilla/software/crystalline/crystalline'],
               \ 'cpp': ['clangd'],
-              \ 'javascript': ['javascript-typescript-stdio'],
+              \ 'javascript': ['typescript-language-server', '--stdio'],
+              \ 'typescript': ['typescript-language-server', '--stdio'],
               \ 'elm': ['elm-language-server', '--stdio'],
               \ 'python': ['python', '-m', 'pyls'],
               \ 'elixir': ['/home/vanilla/software/elixir-ls/language_server.sh']