teal-types

Teal type definitions of Lua libraries! (by teal-language)

Teal-types Alternatives

Similar projects and alternatives to teal-types

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better teal-types alternative or higher similarity.

teal-types reviews and mentions

Posts with mentions or reviews of teal-types. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-12-21.
  • Experience with statically typed lang that compiles to lua for plugins/scripting?
    8 projects | /r/neovim | 21 Dec 2022
    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.
  • Is it possible to configure neovim with teal instead of lua?
    4 projects | /r/neovim | 13 Jan 2022
    There are type definitions in the teal-types repo for neovim. And as for theoretical, my config is like 99% teal right now (granted I am biased since I'm one of its maintainiers :P) (also it's on a dev branch of teal with some unstable features so don't just copy paste stuff and expect it to work).

Stats

Basic teal-types repo stats
2
100
5.2
4 days ago

teal-language/teal-types is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of teal-types is Lua.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com