type-checking

There are 6 repositories under type-checking topic.

ts-toolbelt
millsp / ts-toolbelt
👷 TypeScript's largest type utility library
dynamic-types safety type-checking type-safety type-utilities types typescript typescript-library utility
Language:TypeScript 6762
sindresorhus / ow
Function argument validation for humans
javascript nodejs npm-package type-checking validation
Language:TypeScript 3811
sdiehl / write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
book compiler evaluation functional-language functional-programming haskel hindley-milner intermediate-representation lambda-calculus pdf-book type type-checking type-inference type-system type-theory
Language:Haskell 3351
explosion / thinc
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
ai artificial-intelligence deep-learning functional-programming jax machine-learning machine-learning-library mxnet natural-language-processing nlp python pytorch spacy tensorflow type-checking
Language:Python 2821
teal-language / tl
The compiler for Teal, a typed dialect of Lua
compiler lua teal type-checking
Language:Lua 2166
ruby / rbs
Type Signature for Ruby
ruby type-checking
Language:Ruby 1961
jasmcaus / caer
High-performance Vision library in Python. Scale your research, not boilerplate.
python vision artificial-intelligence machine-learning neural-network deep-learning gpu ai data-science image-processing video-processing caer augmentation computer-vision opencv cuda type-checking segmentation image-classification image-segmentation
Language:Python 775
johnthagen / python-blueprint
🐍 Example Python project using best practices 🥇
python python-3 pytest type-hints mkdocs-material mkdocs mypy docker linting coverage nox python-poetry pycharm containers type-checking ruff
Language:Python 583
msz / hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
behaviour behaviour-typespec behaviours contract contract-testing contracts dialyzer elixir explicit-contracts mock mocks mox testing type-checker type-checking typechecker typechecking typespec typespecs unit-testing
Language:Elixir 565
Qqwy / elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
elixir-lang hacktoberfest metaprogramming property-based-testing type-checking
Language:Elixir 521
sylvainpolletvillard / ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
javascript typing strong dynamic type-checking model structure composition
Language:JavaScript 467
dropbox / mypy-PyCharm-plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
mypy pycharm python type-checking types typing
Language:Java 314
philbooth / check-types.js
MOVED TO GITLAB
predicates assert type-checking types assertions duck-typing
Language:JavaScript 226
xodio / hm-def
Runtime type checking for JS with Hindley Milner signatures
hindley-milner type-checking functional-programming invariant javascript
Language:JavaScript 198
cs-au-dk / TAJS
Type Analyzer for JavaScript
javascript program-analysis static-analyzer static-code-analysis type-checking
Language:Java 194
mesqueeb / is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
check-type class-identifier class-instance define-type get-type is-object is-plain-obj is-plain-object javascript javascript-type plain-object plain-objects primitive-types type-check type-checker type-checking typechecker typescript what-type
Language:TypeScript 185
ilya-klyuchnikov / tapl-scala
Code from the book "Types and Programming Languages" in Scala
tapl programming-languages type-checking type-inference
Language:Scala 177
micropython-stubs
Josverl / micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
awesome-micropython micropython mypy mypy-stubs pycharm-ide pylance pylint pyright pyscript static-typing type-checking type-stubs vscode
Language:Python 162
Benjamin-Dobell / IntelliJ-Luanalysis
Type-safe Lua IDE — IntelliJ IDEA plugin
intellij intellij-plugin lua lua-ide lua-plugin luanalysis static-analysis type-checking
Language:Kotlin 155
eugeneyan / python-collab-template
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
coverage github-actions hacktoberfest linting makefile python type-checking unit-testing
Language:Python 143
ambv / retype
Re-apply type annotations from .pyi stubs to your codebase.
python python3 typing type-checking stubs mypy pep484 python2
Language:Python 142
python / mypy_extensions
Extensions for mypy
mypy type-checking mypyc
Language:Python 134
bazel-contrib / bazel-mypy-integration
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
mypy bazel python type-checking
Language:Starlark 122
vitalets / babel-plugin-runtyper
⚡️ Runtime type-checker for JavaScript
type-checking type-safety type-hints runtime-code-analysis babel-plugin babel
Language:JavaScript 116
LSTS
andrew-johnson-4 / LSTS
Large Scale Type Systems (programming language)
ast type-checking theorem-prover rust category-theory error-reporting lexer lint parser lambda-calculus lambda-calculus-interpreter assisted-reasoning proof-assistant dependent-types refinement-types compiler lsts programming-language
Language:Rust 113
FelixTheC / strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
python type-checking runtime-checking typechecking decorator docstring-checker property setter-getter typing-decorator
Language:Python 108
GJDuck / EffectiveSan
Runtime type and bounds-error checking for C/C++
bounds-checking memory-safety type-checking low-fat-pointers sanitizer security llvm
Language:C++ 101
sapphiredev / shapeshift
Blazing fast input validation and transformation ⚡
checking hacktoberfest input-validation ow runtime-validation schema type-checking type-validation validation zod
Language:TypeScript 95
typeis / typeis
Typeis. it's the smart and simple javaScript type checker
typeis javascript type-checking type-checker simple typeof
Language:JavaScript 93
wookieb / predicates
Predicates for type checking, assertions, filtering etc
typescript predicates type-checking filtering
Language:TypeScript 89
orsinium-labs / infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
annotations code-formatter code-generation mypy pyannotate python python3 pytype static-analysis type-annotations type-checking type-inference typing
Language:Python 85
MaxDesiatov / Typology
Swift type checking and semantic analysis for developer tools
hindley-milner type-checking type-inference type-checker type-system swift developer-tools semantic-analysis semantic-analyzer
Language:Swift 81
vitorsvieira / dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
scala typelevel scalameta scala-macros macros ddd ddd-patterns funcional-programming type-safety type-checking type-level-programming metaprogramming newtype
Language:Scala 80
vite-plugin-vitest-typescript-assert
skarab42 / vite-plugin-vitest-typescript-assert
🔥 TypeScript type assertion plugin for vitest
assert assertion expect typescript vitest test type-check type-checking vite
Language:TypeScript 79
OmgImAlexis / upcast
A JavaScript type checking/casting library
upcast converts casting-library types type type-checking
Language:JavaScript 74
PyCQA / flake8-pyi
A plugin for Flake8 that provides specializations for type hinting stub files
flake8 lint linter linter-plugin mypy pep484 python stub-files type-checking typing
Language:Python 73