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 6794
sindresorhus / ow
Function argument validation for humans
validation type-checking nodejs npm-package javascript
Language:TypeScript 3816
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 3353
explosion / thinc
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
machine-learning deep-learning artificial-intelligence ai python nlp natural-language-processing spacy machine-learning-library type-checking functional-programming pytorch tensorflow mxnet jax
Language:Python 2828
teal-language / tl
The compiler for Teal, a typed dialect of Lua
compiler lua teal type-checking
Language:Lua 2205
ruby / rbs
Type Signature for Ruby
ruby type-checking
Language:Ruby 1974
jasmcaus / caer
High-performance Vision library in Python. Scale your research, not boilerplate.
ai artificial-intelligence augmentation caer computer-vision cuda data-science deep-learning gpu image-classification image-processing image-segmentation machine-learning neural-network opencv python segmentation type-checking video-processing vision
Language:Python 779
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 566
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 523
sylvainpolletvillard / ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
javascript typing strong dynamic type-checking model structure composition
Language:JavaScript 468
dropbox / mypy-PyCharm-plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
mypy pycharm python typing types type-checking
Language:Java 314
philbooth / check-types.js
MOVED TO GITLAB
assert assertions duck-typing predicates type-checking types
Language:JavaScript 226
xodio / hm-def
Runtime type checking for JS with Hindley Milner signatures
functional-programming hindley-milner invariant javascript type-checking
Language:JavaScript 198
cs-au-dk / TAJS
Type Analyzer for JavaScript
static-analyzer javascript program-analysis 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 188
ilya-klyuchnikov / tapl-scala
Code from the book "Types and Programming Languages" in Scala
programming-languages tapl 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.
micropython vscode type-checking static-typing mypy-stubs pyright pylance pylint pycharm-ide type-stubs awesome-micropython mypy pyscript
Language:Python 171
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 157
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 144
ambv / retype
Re-apply type annotations from .pyi stubs to your codebase.
python python3 typing type-checking stubs mypy pep484 python2
Language:Python 141
python / mypy_extensions
Extensions for mypy
mypy mypyc type-checking
Language:Python 133
bazel-contrib / bazel-mypy-integration
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
bazel mypy python type-checking
Language:Starlark 123
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 114
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 111
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++ 100
sapphiredev / shapeshift
Blazing fast input validation and transformation ⚡
checking hacktoberfest input-validation ow runtime-validation schema type-checking type-validation validation zod
Language:TypeScript 97
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.
code-formatter code-generation mypy pyannotate python python3 pytype type-inference typing annotations type-annotations static-analysis type-checking
Language:Python 88
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
casting-library converts type type-checking types upcast
Language:JavaScript 74
PyCQA / flake8-pyi
A plugin for Flake8 that provides specializations for type hinting stub files
flake8 python linter linter-plugin lint mypy stub-files pep484 typing type-checking
Language:Python 73