type-checking

There are 3 repositories under type-checking topic.

• ts-toolbelt

  millsp / ts-toolbelt

  👷 TypeScript's largest type utility library

  typescripttypestypescript-librarytype-checkingdynamic-typestype-utilitiestype-safetyutilitysafety
  Language:TypeScript 4331

• sindresorhus / ow

  Function argument validation for humans

  javascriptnodejsnpm-packagetype-checkingvalidation
  Language:TypeScript 3541

• sdiehl / write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  haskelcompilerbookevaluationlambda-calculustypetype-checkingtype-systempdf-bookfunctional-programmingfunctional-languagehindley-milnertype-inferencetype-theoryintermediate-representation
  Language:Haskell 3144

• explosion / thinc

  🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

  machine-learningdeep-learningartificial-intelligenceaipythonnlpnatural-language-processingspacymachine-learning-librarytype-checkingfunctional-programmingpytorchtensorflowmxnetjax
  Language:Python 2538

• ruby / rbs

  Type Signature for Ruby

  rubytype-checking
  Language:Ruby 1480

• teal-language / tl

  The compiler for Teal, a typed dialect of Lua

  tealluacompilertype-checking
  Language:Lua 1213

• jasmcaus / caer

  High-performance Vision library in Python. Scale your research, not boilerplate.

  pythonvisionartificial-intelligencemachine-learningneural-networkdeep-learninggpuaidata-scienceimage-processingvideo-processingcaeraugmentationcomputer-visionopencvcudatype-checkingsegmentationimage-classificationimage-segmentation
  Language:Python 624

• msz / hammox

  🏝 automated contract testing via type checking for Elixir functions and mocks

  elixirtestingmockmoxcontract-testingtypecheckertypecheckingtypespecdialyzercontractsbehaviourscontractbehaviourbehaviour-typespecunit-testingtypespecsmocksexplicit-contractstype-checkingtype-checker
  Language:Elixir 460

• sylvainpolletvillard / ObjectModel

  Strong Dynamically Typed Object Modeling for JavaScript

  javascripttypingstrongdynamictype-checkingmodelstructurecomposition
  Language:JavaScript 434

• Qqwy / elixir-type_check

  TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

  elixir-langtype-checkingproperty-based-testingmetaprogramming
  Language:Elixir 386

• dropbox / mypy-PyCharm-plugin

  A simple plugin that allows running mypy from PyCharm and navigate between errors

  mypypycharmpythontypingtypestype-checking
  Language:Java 300

• philbooth / check-types.js

  MOVED TO GITLAB

  predicatesasserttype-checkingtypesassertionsduck-typing
  Language:JavaScript 230

• xodio / hm-def

  Runtime type checking for JS with Hindley Milner signatures

  hindley-milnertype-checkingfunctional-programminginvariantjavascript
  Language:JavaScript 186

• ilya-klyuchnikov / tapl-scala

  Code from the book "Types and Programming Languages" in Scala

  taplprogramming-languagestype-checkingtype-inference
  Language:Scala 172

• cs-au-dk / TAJS

  Type Analyzer for JavaScript

  static-analyzerjavascriptprogram-analysisstatic-code-analysistype-checking
  Language:Java 163

• ambv / retype

  Re-apply type annotations from .pyi stubs to your codebase.

  pythonpython3typingtype-checkingstubsmypypep484python2
  Language:Python 129

• vitalets / babel-plugin-runtyper

  ⚡️ Runtime type-checker for JavaScript

  type-checkingtype-safetytype-hintsruntime-code-analysisbabel-pluginbabel
  Language:JavaScript 118

• typeis / typeis

  Typeis. it's the smart and simple javaScript type checker

  typeisjavascripttype-checkingtype-checkersimpletypeof
  Language:JavaScript 95

• wookieb / predicates

  Predicates for type checking, assertions, filtering etc

  typescriptpredicatestype-checkingfiltering
  Language:TypeScript 91

• Benjamin-Dobell / IntelliJ-Luanalysis

  Type-safe Lua IDE Plugin for IntelliJ IDEA

  lualua-ideintellij-pluginlua-pluginintellijluanalysisstatic-analysistype-checking
  Language:Kotlin 90

• GJDuck / EffectiveSan

  Runtime type and bounds-error checking for C/C++

  bounds-checkingmemory-safetytype-checkinglow-fat-pointerssanitizersecurityllvm
  Language:C++ 90

• FelixTheC / strongtyping

  Decorator which checks whether the function is called with the correct type of parameters.

  pythontype-checkingruntime-checkingtypecheckingdecoratordocstring-checkerpropertysetter-gettertyping-decorator
  Language:Python 86

• eugeneyan / python-collab-template

  🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.

  pythonunit-testinglintingtype-checkinggithub-actionsmakefilecoveragehacktoberfest
  Language:Python 85

• vitorsvieira / dilate

  Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

  scalatypelevelscalametascala-macrosmacrosdddddd-patternsfuncional-programmingtype-safetytype-checkingtype-level-programmingmetaprogrammingnewtype
  Language:Scala 81

• MaxDesiatov / Typology

  Swift type checking and semantic analysis for developer tools

  hindley-milnertype-checkingtype-inferencetype-checkertype-systemswiftdeveloper-toolssemantic-analysissemantic-analyzer
  Language:Swift 72

• OmgImAlexis / upcast

  A JavaScript type checking/casting library

  upcastconvertscasting-librarytypestypetype-checking
  Language:JavaScript 72

• bazel-contrib / bazel-mypy-integration

  🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds

  mypybazelpythontype-checking
  Language:Starlark 69

• mesqueeb / is-what

  JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

  typecheckercheck-typejavascripttypescriptjavascript-typeprimitive-typesplain-objectplain-objectsclass-instanceclass-identifiertype-checkingtype-checkertype-checkdefine-typeget-typewhat-typeis-objectis-plain-objis-plain-object
  Language:TypeScript 56

• nickzuber / infrared

  :sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.

  type-checkingjavascriptfaststatic-analysiszero-configurationtoolcliparseres6productivitycompilerconfigurable
  Language:OCaml 46

• sapphiredev / shapeshift

  Blazing fast input validation and transformation ⚡

  input-validationschemavalidationruntime-validationtype-validationtype-checkingcheckingzodow
  Language:TypeScript 45

• PyCQA / flake8-pyi

  A plugin for Flake8 that provides specializations for type hinting stub files

  flake8lintlinterlinter-pluginmypypep484pythonstub-filestype-checkingtyping
  Language:Python 42

• Josverl / micropython-stubs

  Stubs of common micropython modules to aid in code completion, static typechecking and overall development

  micropythonpythonvscodetype-checkingstatic-typingmypy-stubspyrightpylancepylint
  Language:Python 37

• serradura / kind

  A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.

  activemodel-validationsmaybe-monadrubyrubygemtype-checkingtype-system
  Language:Ruby 35

• LionelAuroux / pyrser

  A PEG Parsing Tool

  pythonparserparsingparsing-expression-grammarpegtree-matchingtreematchingtypetype-systemtypinggrammartype-checkingtype-checker
  Language:Python 31

• skius / progge.rs

  Program analysis playground for a simple, imperative language

  program-analysisabstract-interpretationprogramming-languagetype-checkingstatic-analysiscompilerllvm
  Language:Rust 30

• JetBrains / mps-coderules

  Type checking and logical inference for JetBrains MPS

  type-checkingconstraint-handling-rulesjetbrains-mpscontrol-flowconstraint-rulescode-analysis
  Language:JetBrains MPS 25