type-checking

There are 5 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 6562
sindresorhus / ow
Function argument validation for humans
javascript nodejs npm-package type-checking validation
Language:TypeScript 3792
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 3329
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 2808
teal-language / tl
The compiler for Teal, a typed dialect of Lua
compiler lua teal type-checking
Language:Lua 2021
ruby / rbs
Type Signature for Ruby
ruby type-checking
Language:Ruby 1909
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 755
msz / hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
elixir testing mock mox contract-testing typechecker typechecking typespec dialyzer contracts behaviours contract behaviour behaviour-typespec unit-testing typespecs mocks explicit-contracts type-checking type-checker
Language:Elixir 554
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 black ruff
Language:Python 550
Qqwy / elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
elixir-lang type-checking property-based-testing metaprogramming hacktoberfest
Language:Elixir 513
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 313
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
static-analyzer javascript program-analysis static-code-analysis type-checking
Language:Java 191
ilya-klyuchnikov / tapl-scala
Code from the book "Types and Programming Languages" in Scala
tapl programming-languages type-checking type-inference
Language:Scala 175
mesqueeb / is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
typechecker check-type javascript typescript javascript-type primitive-types plain-object plain-objects class-instance class-identifier type-checking type-checker type-check define-type get-type what-type is-object is-plain-obj is-plain-object
Language:TypeScript 170
Benjamin-Dobell / IntelliJ-Luanalysis
Type-safe Lua IDE — IntelliJ IDEA plugin
lua lua-ide intellij-plugin lua-plugin intellij luanalysis static-analysis type-checking
Language:Kotlin 151
ambv / retype
Re-apply type annotations from .pyi stubs to your codebase.
python python3 typing type-checking stubs mypy pep484 python2
Language:Python 140
eugeneyan / python-collab-template
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
python unit-testing linting type-checking github-actions makefile coverage hacktoberfest
Language:Python 139
python / mypy_extensions
Extensions for mypy
mypy type-checking mypyc
Language:Python 131
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 129
vitalets / babel-plugin-runtyper
⚡️ Runtime type-checker for JavaScript
type-checking type-safety type-hints runtime-code-analysis babel-plugin babel
Language:JavaScript 116
bazel-contrib / bazel-mypy-integration
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
mypy bazel python type-checking
Language:Starlark 110
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 language lsts
Language:Rust 104
FelixTheC / strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
decorator docstring-checker property python runtime-checking setter-getter type-checking typechecking typing-decorator
Language:Python 104
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
typeis / typeis
Typeis. it's the smart and simple javaScript type checker
typeis javascript type-checking type-checker simple typeof
Language:JavaScript 93
sapphiredev / shapeshift
Blazing fast input validation and transformation ⚡
input-validation schema validation runtime-validation type-validation type-checking checking zod ow hacktoberfest
Language:TypeScript 90
wookieb / predicates
Predicates for type checking, assertions, filtering etc
typescript predicates type-checking filtering
Language:TypeScript 89
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 82
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 81
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
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 78
OmgImAlexis / upcast
A JavaScript type checking/casting library
upcast converts casting-library types type type-checking
Language:JavaScript 75
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