Experience with statically typed lang that compiles to lua for plugins/scripting?

• tl

  54 1,935 7.7 Lua

  The compiler for Teal, a typed dialect of Lua

  

I have no affiliations, but I think teal would be a great such language. It feels very much like "what TS is to JS" in that it's syntax is (I believe) a superset of lua, and it is possible to require teal files in lua files by first requiring the teal compiler (a one line change). In fact, there's already a neovim plugin that I use everyday written in teal! Teal also has the concept of declaration files (like `.d.ts` in TS or `.pyi` in python), and it has [declaration files for neovim files](https://github.com/teal-language/teal-types/tree/master/types/neovim) already. However, its LSP is very, very young.

• gitsigns.nvim

  80 4,357 9.2 Lua

  Git integration for buffers

I have no affiliations, but I think teal would be a great such language. It feels very much like "what TS is to JS" in that it's syntax is (I believe) a superset of lua, and it is possible to require teal files in lua files by first requiring the teal compiler (a one line change). In fact, there's already a neovim plugin that I use everyday written in teal! Teal also has the concept of declaration files (like `.d.ts` in TS or `.pyi` in python), and it has [declaration files for neovim files](https://github.com/teal-language/teal-types/tree/master/types/neovim) already. However, its LSP is very, very young.

• WorkOS

  workos.com sponsored

  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.

  

• teal-types

  2 100 5.2 Lua

  Teal type definitions of Lua libraries!

  

I have no affiliations, but I think teal would be a great such language. It feels very much like "what TS is to JS" in that it's syntax is (I believe) a superset of lua, and it is possible to require teal files in lua files by first requiring the teal compiler (a one line change). In fact, there's already a neovim plugin that I use everyday written in teal! Teal also has the concept of declaration files (like `.d.ts` in TS or `.pyi` in python), and it has [declaration files for neovim files](https://github.com/teal-language/teal-types/tree/master/types/neovim) already. However, its LSP is very, very young.

• teal-language-server

  2 71 0.0 Lua

  A language server for Teal, a typed dialect of Lua

  

I have no affiliations, but I think teal would be a great such language. It feels very much like "what TS is to JS" in that it's syntax is (I believe) a superset of lua, and it is possible to require teal files in lua files by first requiring the teal compiler (a one line change). In fact, there's already a neovim plugin that I use everyday written in teal! Teal also has the concept of declaration files (like `.d.ts` in TS or `.pyi` in python), and it has [declaration files for neovim files](https://github.com/teal-language/teal-types/tree/master/types/neovim) already. However, its LSP is very, very young.

• lua-language-server

  79 2,988 9.4 Lua

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

  

If you use the sumneko Lua language server, you can add doc-comments that tell the server what type everything is supposed to be. It will then give you diagnostics based on those assumptions.

• neodev.nvim

  49 1,931 9.1 Lua

  💻 Neovim setup for init.lua and plugin development with full signature help, docs and completion for the nvim lua API.

This plugin from our savior folke might help. The sumneko LSP doesn't know all the annotations for the built-in vim-namespace, but this plugin provides them.

• nvim-oxi

  13 811 9.3 Rust

  :link: Rust bindings to all things Neovim

• InfluxDB

  www.influxdata.com sponsored

  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.

  

Suggest a related project