Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with type-checking

A curated list of projects in awesome lists tagged with type-checking .

https://github.com/sindresorhus/ow

Function argument validation for humans

javascript nodejs npm-package type-checking validation

Last synced: 13 May 2025

https://github.com/teal-language/tl

The compiler for Teal, a typed dialect of Lua

compiler lua teal type-checking

Last synced: 14 May 2025

https://github.com/ruby/rbs

Type Signature for Ruby

ruby type-checking

Last synced: 15 Dec 2025

https://github.com/qqwy/elixir-type_check

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

elixir-lang hacktoberfest metaprogramming property-based-testing type-checking

Last synced: 15 May 2025

https://github.com/Qqwy/elixir-type_check

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

elixir-lang hacktoberfest metaprogramming property-based-testing type-checking

Last synced: 28 Mar 2025

https://github.com/sylvainpolletvillard/ObjectModel

Strong Dynamically Typed Object Modeling for JavaScript

composition dynamic javascript model strong structure type-checking typing

Last synced: 24 Apr 2025

https://github.com/sylvainpolletvillard/objectmodel

Strong Dynamically Typed Object Modeling for JavaScript

composition dynamic javascript model strong structure type-checking typing

Last synced: 06 Apr 2025

https://github.com/dropbox/mypy-PyCharm-plugin

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

mypy pycharm python type-checking types typing

Last synced: 13 May 2025

https://github.com/dropbox/mypy-pycharm-plugin

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

mypy pycharm python type-checking types typing

Last synced: 09 Apr 2025

https://github.com/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

Last synced: 13 May 2025

https://github.com/xodio/hm-def

Runtime type checking for JS with Hindley Milner signatures

functional-programming hindley-milner invariant javascript type-checking

Last synced: 20 Jul 2025

https://github.com/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

Last synced: 15 May 2025

https://github.com/ilya-klyuchnikov/tapl-scala

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

programming-languages tapl type-checking type-inference

Last synced: 20 Aug 2025

https://github.com/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

Last synced: 20 Aug 2025

https://github.com/ambv/retype

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

mypy pep484 python python2 python3 stubs type-checking typing

Last synced: 07 Apr 2025

https://github.com/python/mypy_extensions

Extensions for mypy

mypy mypyc type-checking

Last synced: 17 Nov 2025

https://github.com/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

Last synced: 27 Feb 2026

https://github.com/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

Last synced: 13 May 2025

https://github.com/GJDuck/EffectiveSan

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

bounds-checking llvm low-fat-pointers memory-safety sanitizer security type-checking

Last synced: 28 Sep 2025

https://github.com/wookieb/predicates

Predicates for type checking, assertions, filtering etc

filtering predicates type-checking typescript

Last synced: 06 Apr 2025

https://github.com/omgimalexis/upcast

A JavaScript type checking/casting library

casting-library converts type type-checking types upcast

Last synced: 12 Dec 2025

https://github.com/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

Last synced: 05 Oct 2025

https://github.com/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

Last synced: 12 Dec 2025

https://github.com/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

Last synced: 08 May 2025

https://github.com/nickzuber/infrared

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

cli compiler configurable es6 fast javascript parser productivity static-analysis tool type-checking zero-configuration

Last synced: 07 May 2025

https://github.com/serradura/kind

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

activemodel-validations maybe-monad ruby rubygem type-checking type-system

Last synced: 05 Mar 2026

https://github.com/skius/progge.rs

Program analysis playground for a simple, imperative language

abstract-interpretation compiler llvm program-analysis programming-language static-analysis type-checking

Last synced: 28 Jun 2025

https://github.com/shopify/rbi

RBI generation framework

rbi ruby sorbet tapioca type-checking

Last synced: 16 May 2025

https://github.com/Shopify/rbi

RBI generation framework

rbi ruby sorbet tapioca type-checking

Last synced: 16 Jul 2025

https://github.com/75lb/typical

Isomorphic, functional type-checking for Javascript

functional-programming isomorphic javascript javascript-library load-anywhere nodejs type-checking types

Last synced: 02 Mar 2026

https://github.com/arachnys/protostub

A tool for generating Mypy type stubs from a Protocol Buffer definition.

mypy protobuf type type-annotations type-checking

Last synced: 12 Aug 2025

https://github.com/dcousens/typeforce

Another biased type checking solution for Javascript

javascript schema type-checking types

Last synced: 21 Feb 2026

https://github.com/youtype/boto3-ide

Code auto-complete and type checking for AWS boto3 in your VSCode

autocomplete boto3 intellisense type-checking vscode vscode-extension

Last synced: 12 Apr 2025

https://github.com/rsokl/phantom-tensors

Tensor-like types – with variadic shapes – that support both static and runtime type checking, and convenient parsing

array-like jax numpy parsing runtime static tensor tensor-types torch type-checking variadic-shapes

Last synced: 02 Mar 2026

https://github.com/serradura/type_validator

Adds type validation for classes with ActiveModel::Validations.

activemodel ruby ruby-gem ruby-on-rails type-checking validations

Last synced: 28 Apr 2025

https://github.com/thombashi/typepy

A Python library for variable type checker/validator/converter at a run time.

python-library type-checking type-conversion type-detection validator

Last synced: 07 Sep 2025

https://github.com/johansenja/typed_struct

Ruby structs but with type-checked attributes ⚡️🔐

rbs ruby struct type-checking type-definitions

Last synced: 19 Mar 2025

https://github.com/brendanzab/elm-stlc

Bidirectional type checker for the simply typed lambda calculus

bidirectional-typechecking elm lambda-calculus simply-typed-lambda-calculus type-checking

Last synced: 09 Apr 2025

https://github.com/siadat/interface-type-check

Type check the empty interface{}

golang type-checking

Last synced: 07 Oct 2025

https://github.com/thk2b/duck-check

A minimalist runtime type checking utility for duck typing

duck-typing javascript nodejs object-checker runtime-typechecking type-checking

Last synced: 07 May 2025

https://github.com/igi-111/jack

A toy ML dialect

compiler cranelift ml rust type-checking

Last synced: 13 Apr 2025

https://github.com/beartype/bearboto3

Facilitates using beartype runtime type-checking with the AWS SDK.

aws-sdk beartype boto3 boto3-stubs python python-3 python-typing runtime-typechecking stubs type-checking

Last synced: 14 Jan 2026

https://github.com/daltonmenezes/what-type-is

:grey_question: A simple type checking library for Node.js

javascript javascript-library js node node-js nodejs type-checker type-checking

Last synced: 29 Oct 2025

https://github.com/lixhq/validex

Validex is a library for doing data validation in Elixir.

elixir type-checking validation

Last synced: 07 May 2025

https://github.com/usethesource/typepal

TypePal is a framework for name analysis, type checking and type inference

domain-specific-language rascal type-checking typechecker

Last synced: 16 Jan 2026

https://github.com/javascript-studio/schema

🧩 Plain JavaScript objects with runtime type guarantees

json schema type-checking validation

Last synced: 14 Apr 2025

https://github.com/gfyoung/py-validate

Function Wrappers to Validate Arguments and Return Types

function-wrapper functions python type-checking validator

Last synced: 11 Jul 2025

https://github.com/bynect/constraint-inference

OCaml implementation of a constraint-based bottom-up type inference algorithm

constraints type-checking type-inference type-system

Last synced: 20 Jun 2025

https://github.com/azur1s/hm

A small type inference/checker for a small set of expressions

hindley-milner rust type-checking type-inference

Last synced: 13 Apr 2025

https://github.com/brocksam/pyproprop

Write classes with lots of similar simple defensive properties without the boilerplate

bounds-checking properties type-casting type-checking

Last synced: 11 Jun 2025

https://github.com/sandeepkundalwal/compiler-design

[CS502: Compiler Design] Built Five Phases of Compiler - Parsing Trees, Semantic Analysis, Intermediate Code Generation, Live Variable Analysis, Register Allocation

compiler-design intermediate-code-generation java javacc jtb live-variable-analysis parse-trees register-allocation semantic-analysis type-checking

Last synced: 27 Mar 2025

https://github.com/rkaw92/want-type

a library for hassle-free input type validation in Node.js

input-validation nodejs type-checking

Last synced: 18 Feb 2026

https://github.com/arcletproject/nepattern

a complex pattern, support typing

converter pattern python type-checking validator

Last synced: 01 Aug 2025

https://github.com/loklaan/is-async-func

Check if a value is an async function, from ES2017 specification. Supports babel.

async-functions es2017 type-checking

Last synced: 23 Aug 2025

https://github.com/transitive-bullshit/ow-lite

Lightweight replacement for the ow validation library meant for browser usage.

ow type-checking validation

Last synced: 14 Mar 2025

https://github.com/georapbox/is-api

Tiny javascript library that you can extend with your own type checking methods.

is javascript javascript-library type-checking

Last synced: 07 Jan 2026

https://github.com/wearereasonablepeople/typisch

Set-theory based runtime type system

set-theory type-checking types validation

Last synced: 23 Jan 2026

https://github.com/mrmcmullan/flycatcher

Define your schema once & for all — built for DataFrames, powered across Pydantic, Polars, and SQLAlchemy.

data-engineering data-validation dataframe etl orm polars pydantic python python3 schema sqlalchemy type-checking validation

Last synced: 05 Mar 2026

https://github.com/palashmon/learn-flow

Simplest case example of Flow

flow learning static type-checking

Last synced: 10 Oct 2025

https://github.com/ashton314/christmas-compiler

An experimental lambda calculus compiling to the LLVM

compiler lambda-calculus linear-types lisp llvm racket type-checking type-inference

Last synced: 29 Oct 2025

https://github.com/branc116/units-core

Measure Units Auto-Generated Imperative Procedural General

antlr4 antlr4-grammar code-generation fast reliability t4 type-checking units-of-measure

Last synced: 08 Jul 2025

https://github.com/jaeyson/getypex

Library for checking types. Similar from IEx's i command

elixir type-checking

Last synced: 11 Dec 2025

https://github.com/matsjoyce/pyside6-qml-stubgen

Generate QML stub files (.qmltypes) from Python modules (which use PySide6)

pyside6 qml qt6 type-checking

Last synced: 29 Oct 2025

https://github.com/ilyasergey/typechecker-transformations

An implementation of the mechanical correspondence between algorithms for type checking

abstract-machine cesk ml reduction secd type-checking

Last synced: 13 Feb 2026

https://github.com/mxvsh/typelense

Inspect TypeScript errors in a monorepo with clarity

cli-tool diagnostics lerna monorepo nx tsconfig turborepo type-checking typescript typescript-compiler yarn

Last synced: 21 Jan 2026

https://github.com/dee-me-tree-or-love/happy-and-alex-typed-lukcal

Haskell Happy & Alex: Typed Polish Notation (Łukasiewicz) Calculator

calculator haskell haskell-alex haskell-happy polish-notation type-checking

Last synced: 15 Feb 2026

https://github.com/ternaus/google-docstring-parser

A Python package for parsing and validating Google-style docstrings with type hints. Converts docstrings into structured dictionaries and validates type annotations. Requires paid license for non-Albumentations Team users.

code-quality developer-tools docstring documentation google-style parser python static-analysis type-checking validation

Last synced: 16 Mar 2026

https://github.com/lamansky/isit

[Node.js] Tests a value’s type against a string like 'positive integer' or 'non-empty map'.

javascript nodejs type-checking

Last synced: 06 Jul 2025