type-checking

There are 9 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 7087
sindresorhus / ow
Function argument validation for humans
javascript nodejs npm-package type-checking validation
Language:TypeScript 3874
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 3444
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 2878
teal-language / tl
The compiler for Teal, a typed dialect of Lua
teal lua compiler type-checking
Language:Lua 2605
ruby / rbs
Type Signature for Ruby
ruby type-checking
Language:Ruby 2095
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 804
johnthagen / python-blueprint
🐍 Example Python project using best practices 🥇
python python-3 pytest type-hints mkdocs-material mkdocs mypy docker linting coverage nox pycharm containers type-checking ruff pep-621 uv pep-735 github-actions github-pages
Language:Python 695
zubanls / zuban
Python Type Checker / Language Server
autocompletion language-server-protocol mypy python static-analysis type-checking
Language:Rust 609
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 586
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 528
sylvainpolletvillard / ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
composition dynamic javascript model strong structure type-checking typing
Language:JavaScript 472
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 318
brendanzab / language-garden
A garden of small programming language implementations 🪴
compilers dependent-types elaboration programming-languages compilation l-systems typechecking language-garden type-checking interpreter interpreters normalization-by-evaluation semantic-typechecking type-systems type-theory
Language:OCaml 290
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 261
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 199
cs-au-dk / TAJS
Type Analyzer for JavaScript
static-analyzer javascript program-analysis static-code-analysis type-checking
Language:Java 197
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 197
ilya-klyuchnikov / tapl-scala
Code from the book "Types and Programming Languages" in Scala
programming-languages tapl type-checking type-inference
Language:Scala 185
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 160
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 149
python / mypy_extensions
Extensions for mypy
mypy type-checking mypyc
Language:Python 148
ambv / retype
Re-apply type annotations from .pyi stubs to your codebase.
python python3 typing type-checking stubs mypy pep484 python2
Language:Python 143
bazel-contrib / bazel-mypy-integration
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
mypy bazel python type-checking
Language:Starlark 127
LSTS
Lambda-Mountain-Compiler-Backend / LSTS
Large Scale Type Systems: ML/C Hybrid Programming Language
assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter lexer lint lsts parser programming-language proof-assistant refinement-types rust theorem-prover type-checking
124
vitalets / babel-plugin-runtyper
⚡️ Runtime type-checker for JavaScript
type-checking type-safety type-hints runtime-code-analysis babel-plugin babel
Language:JavaScript 118
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 116
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++ 105
sapphiredev / shapeshift
Blazing fast input validation and transformation ⚡
input-validation schema validation runtime-validation type-validation type-checking checking zod ow hacktoberfest
Language:TypeScript 94
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 93
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
filtering predicates type-checking typescript
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 81
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 80
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 79