t
Type checker
A runtime type checker for Roblox's Lua programming language.
A Runtime Typechecker for Roblox
0 stars
1 watching
0 forks
Language: Lua
last commit: about 1 year ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 dmmulroy/tsc.nvim | A plugin for Neovim that provides an asynchronous interface to run project-wide TypeScript type-checking using the TypeScript compiler. | 404 |
 lbolla/emacs-flycheck-mypy | Provides type-checking integration with Emacs | 38 |
 vitalets/babel-plugin-runtyper | An add-on to JavaScript code analysis that detects and prevents type-coercion bugs during runtime. | 116 |
 zeeman/promises | A type checking library for Python that uses a promise-based syntax to validate function arguments and return types. | 0 |
 woutervh-/typescript-is | Automates writing type predicate functions to check unknown or untyped data at runtime | 959 |
 tekumara/typos-lsp | A source code spell checker for Visual Studio Code and LSP clients. | 267 |
 janestreet/typerep | A runtime environment providing type-safe functionality for the OCaml programming language | 23 |
 flycheck/flycheck-rust | Automates code checking for Rust/Cargo projects using Flycheck | 121 |
 arohner/spectrum | A tool that performs compile-time checks to catch type errors in Clojure code using Clojure.spec annotations. | 595 |
 gajus/flow-runtime | Provides a runtime type system for JavaScript that enables full Flow compatibility and supports API input validation | 802 |
 typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,414 |
 aldanor/typo | A package providing runtime type checking for Python functions annotated with argument type hints. | 28 |
 reokatoa/koreksyon | Tools for developing and implementing spell-checking and grammar-checking capabilities in low-resource languages. | 3 |
 dropbox/mypy-pycharm-plugin | A plugin that allows running type-checking tools from within PyCharm. | 314 |
 kotlinisland/basedmypy | A Python type checker built to resolve issues with the mypy project and Python's typing system | 143 |