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: almost 3 years 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.	412
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.	279
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	120
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,415
aldanor/typo	A package providing runtime type checking for Python functions annotated with argument type hints.	29
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 static type checker with additional features to improve typing and error reporting.	148