Kristiaan's repositories

coq.thirdparty

Module lua sources for `coq.nvim`, first & third party

Language:LuaStargazers:0Issues:0Issues:0
Language:LuaStargazers:0Issues:0Issues:0

efm-langserver

General purpose Language Server

Language:GoStargazers:0Issues:0Issues:0
Language:LuaStargazers:0Issues:0Issues:0

luv

Bare libuv bindings for lua

Language:CLicense:Apache-2.0Stargazers:0Issues:1Issues:0

vimspector

vimspector - A multi-language debugging system for Vim

Language:Vim scriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0