type-checking
There are 213 repositories under type-checking topic.
millsp/ts-toolbelt
👷 TypeScript's largest type utility library
sindresorhus/ow
Function argument validation for humans
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
explosion/thinc
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
teal-language/tl
The compiler for Teal, a typed dialect of Lua
ruby/rbs
Type Signature for Ruby
jasmcaus/caer
High-performance Vision library in Python. Scale your research, not boilerplate.
johnthagen/python-blueprint
🐍 Example Python project using best practices 🥇
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
Qqwy/elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
sylvainpolletvillard/ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
dropbox/mypy-PyCharm-plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
philbooth/check-types.js
MOVED TO GITLAB
xodio/hm-def
Runtime type checking for JS with Hindley Milner signatures
cs-au-dk/TAJS
Type Analyzer for JavaScript
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Benjamin-Dobell/IntelliJ-Luanalysis
Type-safe Lua IDE — IntelliJ IDEA plugin
eugeneyan/python-collab-template
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
ambv/retype
Re-apply type annotations from .pyi stubs to your codebase.
python/mypy_extensions
Extensions for mypy
bazel-contrib/bazel-mypy-integration
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
vitalets/babel-plugin-runtyper
⚡️ Runtime type-checker for JavaScript
andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
FelixTheC/strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
GJDuck/EffectiveSan
Runtime type and bounds-error checking for C/C++
sapphiredev/shapeshift
Blazing fast input validation and transformation ⚡
typeis/typeis
Typeis. it's the smart and simple javaScript type checker
wookieb/predicates
Predicates for type checking, assertions, filtering etc
orsinium-labs/infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
vitorsvieira/dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
skarab42/vite-plugin-vitest-typescript-assert
🔥 TypeScript type assertion plugin for vitest
OmgImAlexis/upcast
A JavaScript type checking/casting library
PyCQA/flake8-pyi
A plugin for Flake8 that provides specializations for type hinting stub files