Skip to content

Pull requests: teal-language/teal-types

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

luv: Make Handle and Req interfaces
#59 by euclidianAce was merged Oct 14, 2024 Loading…
Updated argparse type definitions
#58 by V1K1NGbg was merged Aug 23, 2024 Loading…
add lua-livr
#57 by fperrad was merged Jul 22, 2024 Loading…
number->integer fix
#56 by nagolove was merged Jun 24, 2024 Loading…
Adding Teal types for Bump
#55 by nafey was merged Jun 7, 2024 Loading…
feat: added lua-fenster
#53 by jonasgeiler was merged Apr 17, 2024 Loading…
add lgdbm
#52 by fperrad was merged Jan 5, 2024 Loading…
add lua-ubjson
#51 by fperrad was merged Jan 5, 2024 Loading…
fix & improve LuaLDAP
#50 by fperrad was merged May 10, 2024 Loading…
add lualdap
#49 by fperrad was merged Oct 30, 2023 Loading…
add lua-gd
#48 by fperrad was merged Oct 21, 2023 Loading…
Added luv type definitions, and also LuaDoc comments
#47 by svermeulen was merged Oct 21, 2023 Loading…
add lua-mqtt
#46 by fperrad was merged Sep 27, 2023 Loading…
add lua-conciseserialization
#45 by fperrad was merged Sep 27, 2023 Loading…
add lua-messagepack
#44 by fperrad was merged Sep 27, 2023 Loading…
Added LuaJIT APIs
#42 by Frityet was merged Jan 28, 2023 Loading…
Add types for brinevector and REAPER Lua API
#41 by icy-lava was merged Jan 26, 2023 Loading…
Update lualogging types definitions to release 1.7.0
#39 by Aire-One was merged Oct 26, 2022 Loading…
Add lualogging initial support
#38 by Aire-One was merged Sep 10, 2022 Loading…
Add ansicolors
#37 by Aire-One was merged Aug 16, 2022 Loading…
Support array of TypeName in vim.validate
#35 by mrjones2014 was merged Apr 15, 2022 Loading…
Adding types for vrld/hump
#33 by profan was merged Feb 27, 2022 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.