Plugin devs: type check your lua plugins with lua-language-server and EmmyLua (GitHub action)

This page summarizes the projects mentioned and recommended in the original post on /r/neovim

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • lua-typecheck-action

    A GitHub action that lets you leverage sumneko lua-language-server and EmmyLua to statically type check lua code.

  • ![Type Check Code Base](https://github.com/mrcjkb/lua-typecheck-action/actions/workflows/typecheck.yml/badge.svg)

  • haskell-tools.nvim

    Supercharge your Haskell experience in neovim!

  • When I added some EmmyLua docs to one of my plugins (to generate Vimdoc using lemmy-help), I noticed lua-language-server was giving me diagnostics based on my documentation. This was something I was not getting from linters like luacheck. So I asked myself, "Can I leverage lua-language-server and EmmyLua to statically type check my Lua code?"

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • lemmy-help

    Every one needs help, so lemmy-help you! A CLI to generate vim/nvim help doc from emmylua

  • When I added some EmmyLua docs to one of my plugins (to generate Vimdoc using lemmy-help), I noticed lua-language-server was giving me diagnostics based on my documentation. This was something I was not getting from linters like luacheck. So I asked myself, "Can I leverage lua-language-server and EmmyLua to statically type check my Lua code?"

  • git-hooks.nix

    Seamless integration of https://pre-commit.com git hooks with Nix.

  • I don't think it does. I might look into implementimg it though, because I use pre-commit-hooks.nix in my own projects' CI.

  • lua-language-server

    A language server that offers Lua language support - programmed in Lua

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts