Data

Tools

Indexes

Applications

Experiments

Awesome

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

Projects in Awesome Lists tagged with typechecking

A curated list of projects in awesome lists tagged with typechecking .

https://github.com/google/closure-compiler

A JavaScript checker and optimizer.

closure-compiler javascript optimization typechecking

Last synced: 09 Sep 2025

https://github.com/rustedpy/result

NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.

functional-programming mypy python python3 railway-oriented-programming rust strongly-typed type-safety typechecking

Last synced: 14 May 2025

https://github.com/dbrgn/result

NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.

functional-programming mypy python python3 railway-oriented-programming rust strongly-typed type-safety typechecking

Last synced: 25 Mar 2025

https://github.com/robertcraigie/pyright-python

Python command line wrapper for pyright, a static type checker

cli pip python typechecking

Last synced: 13 Apr 2025

https://github.com/Stewori/pytypes

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

override pep484 python runtime-typechecking type-hints typechecking

Last synced: 22 Apr 2025

https://github.com/stewori/pytypes

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

override pep484 python runtime-typechecking type-hints typechecking

Last synced: 05 Apr 2025

https://github.com/RobertCraigie/pyright-python

Python command line wrapper for pyright, a static type checker

cli pip python typechecking

Last synced: 07 May 2025

https://github.com/brendanzab/language-garden

A garden of small programming language implementations ðŸŠī

compilation compilers dependent-types elaboration l-systems programming-languages typechecking

Last synced: 05 Apr 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: 12 Apr 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: 13 May 2025

https://github.com/davidfstr/trycast

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

parsing python runtime-typechecking typechecker typechecking typing validation

Last synced: 09 Apr 2025

https://github.com/smarie/python-autoclass

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

attr attribute auto autoargs autoprops boilerplate class code-generator constructor contracts enforce fields getter pep484 properties property runtime-typechecking setter type-hints typechecking

Last synced: 16 Mar 2025

https://github.com/happylynx/flow-webpack-plugin

A webpack plugin allowing to call Flow type checker.

flow flowtype typechecking webpack-plugin

Last synced: 10 Oct 2025

https://github.com/seancannon/prettycats

Common predicates for validating objects

curried predicates typechecking validation

Last synced: 16 Aug 2025

https://github.com/avanov/typeit

Infer Python types from JSON data, use them for auto serialisation and parsing

colander deserialization json mypy parser parsing pyrsistent python python3 serialization structured-data typechecking typing

Last synced: 29 Aug 2025

https://github.com/michallepicki/tibe

Ahnfelt's Type Inference by Example but implemented in Gleam

gleam type-inference typechecking types

Last synced: 02 Sep 2025

https://github.com/drag13/isnumberstrict

Checks if JavaScript variable is a number. Strings are not allowed.

isnumber javascript library npm-package number numbers typecheck typechecking

Last synced: 06 Jul 2025

https://github.com/codevendor/inferjs

A package of InferJS tools, designed for runtime checking of JavaScript types and narrowing through expectations.

browser commonjs compiler es6 esmodule infer inferjs javascript js jsdoc library node nodejs typechecking types

Last synced: 24 Apr 2025

https://github.com/PRL-PRG/contractr

An R :package: to insert function argument and return type contracts

contracts r typechecking types

Last synced: 29 Jul 2025

https://github.com/nicopennec/tscheck-demo

Source code of live demo for "@ts-check", an awesome feature from TypeScript for static type checking of your Vanilla JS

precommit ts-check typechecking typescript vanilla-js

Last synced: 07 Apr 2025

https://github.com/capaj/ts-inquisition

A simple CLI util to mark all your current TS errors as expected. Useful when you wan to fail your builds on a new type error while expecting the old ones

cli js-to-ts typechecking typescript

Last synced: 15 Apr 2025

https://github.com/quangis/transforge

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

abstract concept constraint graph inference polymorphism procedural-metadata process-metadata query rdf semantic semantic-web sparql subsumption subtype tool transformation type typechecking workflow

Last synced: 14 Dec 2025

https://github.com/cizr/yacc-parser-addition-rules-and-type-checking

An educational Yacc parser implementation for the specified grammar, featuring Java-like addition rules and integrated type checking for assignment consistency. Explore code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.

educational grammer-checker parsing-expression-grammar semantic-analysis syntax-analysis typechecking yacc-lex

Last synced: 22 Mar 2025

https://github.com/haskric/map_schema

Simple, agile, map schema in elixir with type checking, custom types with casting and validation and with json encoding

casting doctest elixir json map-schema typechecking types

Last synced: 24 Feb 2025

https://github.com/codevendor/inferjs-compiler

A compiler that processes JSDoc comments into an InferObject File for utilizing with the InferJS Library.

cli command-line command-line-tool commonjs compiler es6 esmodule infer infer-object inferjs inferjs-compiler inferjscompiler inferobject javascript js jsdoc module node type typechecking

Last synced: 25 Feb 2025

https://github.com/shadow10010/cachify

cachify is a lightweight, high-performance, thread-safe Least Recently Used (LRU) cache library for Go. It is designed for in-memory caching with optional support for expiration, eviction callbacks, and dynamic capacity adjustment.

android cache cloudflare-kv go kotlin lock locking nodejs pickle playlist promise redis typechecking wordpress

Last synced: 19 Mar 2025

https://github.com/danprince/typeshape

Runtime type checking against composable schemas

composable schema typechecking

Last synced: 27 Mar 2025

https://github.com/spaceavocado/type-check

Collection of small javascript type check functions.

javascript typechecker typechecking

Last synced: 07 Oct 2025

https://github.com/codevendor/inferjs-library

A runtime library that allows you to infer rules for extended type checking in JavaScript.

es6 esmodule infer infer-object inferjs inferjs-compiler inferjs-library inferobject javascript js jsdoc node nodejs type typechecking types

Last synced: 20 Oct 2025

https://github.com/t99/typit

Fully recursive runtime typechecking.

npm runtime typechecking types

Last synced: 31 Jul 2025

https://github.com/jusleg/sorbet-playground

Simple repl that you can fork and test your sorbet code statically and at runtime

replit ruby sorbet typechecking

Last synced: 25 Feb 2025

https://github.com/codevendor/type_of

An importable TypeScript method to fix the JavaScript 'typeof' operator. This code is written as a module for the deno runtime.

check javascript operator type typecheck typechecking typeof types typescript

Last synced: 25 Feb 2025

https://github.com/phantie/overloaded

Overloading of functions and methods (including static- and classmethods). Supports complex type hinting. Does not modify original functions, classes and methods.

no-side-effects overloading pinpoint polymorphism pure python typechecking

Last synced: 28 Mar 2025

https://github.com/abelcheung/pytest-revealtype-injector

Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison

annotation dynamic-typing pytest-plugin runtime-typechecking static-typing type-check type-checker type-checking typecheck typechecker typechecking types typing

Last synced: 29 Jul 2025

https://github.com/zaikoxander/rubyt

A type checking gem for Ruby - still in development

easy-to-use gem ruby rubyt type typechecking utility

Last synced: 07 Jul 2025