GitHub topics: type-checking
ruby/rbs
Type Signature for Ruby
Language: Ruby - Size: 9.93 MB - Last synced at: about 2 hours ago - Pushed at: about 12 hours ago - Stars: 2,040 - Forks: 221
Josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Language: Python - Size: 56.7 MB - Last synced at: 1 day ago - Pushed at: 4 days ago - Stars: 216 - Forks: 24
sylvainpolletvillard/ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
Language: JavaScript - Size: 5.3 MB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 471 - Forks: 28
johnthagen/python-blueprint
🐍 Example Python project using best practices 🥇
Language: Python - Size: 2.14 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 637 - Forks: 93
eerkela/bertrand
flexible type extensions for pandas
Language: C++ - Size: 33.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0
millsp/ts-toolbelt
👷 TypeScript's largest type utility library
Language: TypeScript - Size: 38.2 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 6,944 - Forks: 149
explosion/thinc
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
Language: Python - Size: 10.6 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 2,849 - Forks: 280
fontebasso/valitype
Lightweight validator for simple runtime types like string, number, boolean, URL, and enums.
Language: TypeScript - Size: 0 Bytes - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
quantumlib/TypedUnits
A fast units and dimensions library with support for static dimensionality checking and protobuffer serialization.
Language: Python - Size: 773 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 5 - Forks: 3
codeismyid/types-test
Testing TypeScript types using the 'expect' assertion style, compatible with Jest, Vitest, Bun, and other testing frameworks.
Language: TypeScript - Size: 218 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
bazel-contrib/bazel-mypy-integration 📦
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
Language: Starlark - Size: 203 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 127 - Forks: 44
sapphiredev/shapeshift
Blazing fast input validation and transformation ⚡
Language: TypeScript - Size: 21.2 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 97 - Forks: 13
Qqwy/elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Language: Elixir - Size: 1.53 MB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 529 - Forks: 25
NextGenContributions/.nitpick
Shared settings for linters, type checking tools and VSCode
Language: JavaScript - Size: 50.8 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0
python/mypy_extensions
Extensions for mypy
Language: Python - Size: 55.7 KB - Last synced at: about 19 hours ago - Pushed at: 21 days ago - Stars: 141 - Forks: 36
jasmcaus/caer
High-performance Vision library in Python. Scale your research, not boilerplate.
Language: Python - Size: 247 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 791 - Forks: 103
teal-language/tl
The compiler for Teal, a typed dialect of Lua
Language: Lua - Size: 3.98 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 2,372 - Forks: 124
sindresorhus/ow
Function argument validation for humans
Language: TypeScript - Size: 1.36 MB - Last synced at: about 7 hours ago - Pushed at: about 1 year ago - Stars: 3,822 - Forks: 107
Shopify/rbi
RBI generation framework
Language: Ruby - Size: 3.11 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 32 - Forks: 10
xodio/hm-def
Runtime type checking for JS with Hindley Milner signatures
Language: JavaScript - Size: 759 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 199 - Forks: 11
abelcheung/pytest-revealtype-injector
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
Language: Python - Size: 184 KB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
hamdanal/python-stubs
A collection of stub files for some python projects. Can be used with VSCode to get better language service experience.
Language: Python - Size: 449 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 3 - Forks: 0
Lambda-Mountain-Compiler-Backend/LSTS
Large Scale Type Systems (programming language)
Size: 1.21 MB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 122 - Forks: 3
kakasoo/DeepStrictTypes
Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects
Language: TypeScript - Size: 265 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 60 - Forks: 1
melchiorrecaruso/adimRT
Type checking of dimensioned quantities at run time in FreePascal
Language: Pascal - Size: 5.14 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
code-cb/ts-utils
🛠 A modern and practical TypeScript type utility library
Language: TypeScript - Size: 1.08 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0
bermudaphp/reflection-type-matcher
TypeMatcher is a lightweight PHP class that leverages PHP 8's Reflection API for robust runtime type validation.
Language: PHP - Size: 33.2 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 3 - Forks: 0
selfagency/typa 📦
Super-simple, zero-dependency JavaScript type checking utility.
Language: JavaScript - Size: 522 KB - Last synced at: 7 days ago - Pushed at: 24 days ago - Stars: 1 - Forks: 1
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Language: TypeScript - Size: 1.38 MB - Last synced at: 11 days ago - Pushed at: 13 days ago - Stars: 195 - Forks: 20
TruLie13/JSType
JSType: Lightweight CLI type checker for JavaScript using inline comments — no build step, no TypeScript, just simple type safety.
Language: JavaScript - Size: 46.9 KB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 1 - Forks: 0
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Language: Haskell - Size: 938 KB - Last synced at: 30 days ago - Pushed at: over 4 years ago - Stars: 3,375 - Forks: 256
PyCQA/flake8-pyi
A plugin for Flake8 that provides specializations for type hinting stub files
Language: Python - Size: 573 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 73 - Forks: 23
matsjoyce/pyside6-qml-stubgen
Generate QML stub files (.qmltypes) from Python modules (which use PySide6)
Language: Python - Size: 77.1 KB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 2
loderunner/typelit
A type-safe string templating library for TypeScript
Language: TypeScript - Size: 330 KB - Last synced at: 22 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 1
rho-contracts/rho-contracts
Higher-order contracts and runtime schema checking for JavaScript
Language: JavaScript - Size: 752 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
vitalets/babel-plugin-runtyper
⚡️ Runtime type-checker for JavaScript
Language: JavaScript - Size: 1.32 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 117 - Forks: 4
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.
Language: Python - Size: 85.9 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0
dsheiko/bycontract
Argument validation library based on JSDOC syntax
Language: JavaScript - Size: 1.51 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 31 - Forks: 6
jeffmcmahan/Function.check
For runtime type declaration and type checking in plain javascript.
Language: JavaScript - Size: 110 KB - Last synced at: 20 days ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
Benjamin-Dobell/IntelliJ-Luanalysis
Type-safe Lua IDE — IntelliJ IDEA plugin
Language: Kotlin - Size: 28.6 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 159 - Forks: 22
Noza23/dataserious
dataclasses enhanced with type validation and serialization
Language: Python - Size: 80.1 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
Language: Elixir - Size: 333 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 577 - Forks: 29
rozek/javascript-interface-library
various classification, validation and utility functions
Language: TypeScript - Size: 377 KB - Last synced at: 26 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
dropbox/mypy-PyCharm-plugin
A simple plugin that allows running mypy from PyCharm and navigate between errors
Language: Java - Size: 1.01 MB - Last synced at: about 7 hours ago - Pushed at: almost 4 years ago - Stars: 316 - Forks: 15
usethesource/typepal
TypePal is a framework for name analysis, type checking and type inference
Language: Rascal - Size: 2.33 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 5 - Forks: 4
TheLartians/TypeScript2Python
🚃 Transpile TypeScript types to Python! A TypeScript to Python type transpiler.
Language: TypeScript - Size: 47.9 KB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 21 - Forks: 2
thehale/signatures
Run-time type checking for function signatures in Python.
Language: Python - Size: 182 KB - Last synced at: 8 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
LostInDarkMath/pedantic-python-decorators
Some useful decorators for any situation. Includes runtime type checking.
Language: Python - Size: 977 KB - Last synced at: 15 days ago - Pushed at: 3 months ago - Stars: 23 - Forks: 2
Obedbel/My-Extensions
My-Extensions is a collection of versatile tools designed to enhance the functionality of various software applications, offering users a seamless experience with added features and capabilities. From time-saving shortcuts to customizable settings, My-Extensions aims to streamline workflows and optimize productivity for users across different platf
Size: 1000 Bytes - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
orsinium-labs/infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Language: Python - Size: 62.5 KB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 89 - Forks: 5
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Language: Scala - Size: 646 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 179 - Forks: 22
cs-au-dk/TAJS 📦
Type Analyzer for JavaScript
Language: Java - Size: 76.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 194 - Forks: 40
garydavisonos/conditional-helpers
A collection of JS helper functions to be used in conditional logic within projects.
Language: TypeScript - Size: 83 KB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 2
rsokl/phantom-tensors
Tensor-like types – with variadic shapes – that support both static and runtime type checking, and convenient parsing
Language: Python - Size: 158 KB - Last synced at: 29 days ago - Pushed at: about 1 month ago - Stars: 18 - Forks: 2
Nebulaevo/sniffly
A lightweight TypeScript utility library for performing common type-safe value checks with type narrowing
Language: TypeScript - Size: 37.1 KB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
youtype/boto3-ide
Code auto-complete and type checking for AWS boto3 in your VSCode
Language: TypeScript - Size: 654 KB - Last synced at: 1 day ago - Pushed at: 11 months ago - Stars: 22 - Forks: 2
esther-poniatowski/tessara
Define and manage parameters as structured objects with constraints, rules, and modular compositions
Language: Python - Size: 26.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
75lb/typical
Isomorphic, functional type-checking for Javascript
Language: JavaScript - Size: 284 KB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 23 - Forks: 4
d-plaindoux/tyasta
A journey with F*
Language: F* - Size: 53.7 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0
ambv/retype
Re-apply type annotations from .pyi stubs to your codebase.
Language: Python - Size: 154 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 142 - Forks: 18
angelabenavente/is-string-checker
An utility to check if a value is a string.
Language: JavaScript - Size: 10.7 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
trisuaso/faraday
🦇 Faraday is an experimental language which compiles to Lua source!
Language: Rust - Size: 198 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
serradura/kind
A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
Language: Ruby - Size: 425 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 40 - Forks: 5
MilanStaffehl/numdantic
Typing support for numpy arrays and numpy array validation with pydantic.
Language: Python - Size: 105 KB - Last synced at: 24 days ago - Pushed at: 10 months ago - Stars: 3 - Forks: 0
FelixTheC/strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
Language: Python - Size: 405 KB - Last synced at: about 10 hours ago - Pushed at: 4 months ago - Stars: 110 - Forks: 3
dcousens/typeforce
Another biased type checking solution for Javascript
Language: JavaScript - Size: 349 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 24
ParadoxV5/rbs Fork of ruby/rbs
Fork for Contribution || Type Signature for Ruby
Language: Ruby - Size: 9.73 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
javascript-studio/schema
🧩 Plain JavaScript objects with runtime type guarantees
Language: JavaScript - Size: 1.39 MB - Last synced at: 30 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0
kudu-dynamics/blaze-platform
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Language: Haskell - Size: 6.25 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 46 - Forks: 5
lixhq/validex
Validex is a library for doing data validation in Elixir.
Language: Elixir - Size: 55.7 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 0
JetBrains/mps-coderules
Type checking and logical inference for JetBrains MPS
Language: JetBrains MPS - Size: 98.5 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 32 - Forks: 5
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Language: Elm - Size: 15.6 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 14 - Forks: 1
skius/progge.rs
Program analysis playground for a simple, imperative language
Language: Rust - Size: 414 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 36 - Forks: 0
GJDuck/EffectiveSan
Runtime type and bounds-error checking for C/C++
Language: C++ - Size: 51.8 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 101 - Forks: 20
crhntr/template
Utilities for working with text/template or html/template source.
Language: Go - Size: 41 KB - Last synced at: 3 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0
thombashi/typepy
A Python library for variable type checker/validator/converter at a run time.
Language: Python - Size: 412 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 16 - Forks: 2
danidrd/Decorators-in-Python
Ex.3 of the second assignment of Advanced Programming
Language: Python - Size: 21.5 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
eugeneyan/python-collab-template
🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
Language: Python - Size: 43.9 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 145 - Forks: 42
Maluscat/runtime-type-check
[MIRROR] Modular runtime type checker with focus on creating readable and smart error messages
Language: JavaScript - Size: 160 KB - Last synced at: 8 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
rusty-libraries/rusty-typesh
A library for type-based pattern matching in Rust
Language: Rust - Size: 9.77 KB - Last synced at: 12 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
asadbek064/SheetSense
Excel workbook validation engine that detects quality issues, ensures consistency, and makes your spreadsheets bulletproof.
Language: TypeScript - Size: 149 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
ArcletProject/NEPattern
a complex pattern, support typing
Language: Python - Size: 189 KB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0
khiatmohammed/typeflow
🔒 TypeFlow: Revolutionize Python Type Safety with Symbolic Operators 🐍✨ Enforce Runtime Type Constraints, Simplify Type Management, and Elevate Code Robustness.
Language: Python - Size: 9.77 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
JT2M0L3Y/MyPL
Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.
Language: C++ - Size: 27.3 MB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1
AChristoff/i18n-type-safe
Ultra lightweight package (15kB) aimed at ensuring 100% type-safe internationalization. Providing a minimal footprint, yet powerful protection and great DevEx. Perfectly suited for projects utilizing Vite or Expo
Language: TypeScript - Size: 69.3 KB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
OmgImAlexis/upcast
A JavaScript type checking/casting library
Language: JavaScript - Size: 429 KB - Last synced at: 4 days ago - Pushed at: over 4 years ago - Stars: 74 - Forks: 7
decorator-factory/pyright-playground 📦
Try Pyright in your browser
Language: Python - Size: 237 KB - Last synced at: about 4 hours ago - Pushed at: over 1 year ago - Stars: 21 - Forks: 0
Tomperez98/pyrgo
Python project manager inspired in Cargo.
Language: Python - Size: 194 KB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 43 - Forks: 3
tsdotnet/compare
Utility for common comparison functions including type checking.
Language: TypeScript - Size: 1010 KB - Last synced at: 29 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
bynect/constraint-inference
OCaml implementation of a constraint-based bottom-up type inference algorithm
Language: OCaml - Size: 129 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
VSPaone/typso
Welcome to the Typso library, a comprehensive type-checking solution designed to provide robust runtime validation for JavaScript/Node.js environments, React, Express, and beyond. With Typso, you can enforce strict type checks on your functions, objects, and React components while maintaining flexibility for more dynamic and asynchronous use cases.
Language: JavaScript - Size: 10.7 KB - Last synced at: 23 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
IGI-111/jack
A toy ML dialect
Language: Rust - Size: 91.8 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 1
melchiorrecaruso/adimpas
Type checking of dimensioned quantities at compile time in FreePascal
Language: Pascal - Size: 5.91 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
moea/types
Type System Modeling in Clojure
Language: Clojure - Size: 50.8 KB - Last synced at: 6 days ago - Pushed at: 9 months ago - Stars: 6 - Forks: 0
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
Language: Swift - Size: 186 KB - Last synced at: 24 days ago - Pushed at: about 3 years ago - Stars: 81 - Forks: 5
Shambles-Dev/AutoHotkey-Type_Checking
Type Checking for AutoHotkey
Language: AutoHotkey - Size: 8.79 KB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 1
Nebulaevo/typediter
Type-safe versions of Python's builtin iterables
Language: Python - Size: 56.6 KB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
LionelAuroux/pyrser
A PEG Parsing Tool
Language: Python - Size: 2.25 MB - Last synced at: 16 days ago - Pushed at: about 4 years ago - Stars: 36 - Forks: 8
siadat/interface-type-check
Type check the empty interface{}
Language: Go - Size: 39.1 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 13 - Forks: 1
mishrababhishek/prasar
Prasar is a robust, type-safe event handling framework for Python. Supporting both sync and async events, it offers strong type checking and custom colored logging. With an easy-to-use API for binding and emitting events, comprehensive error handling, and Python 3.7+ compatibility, Prasar simplifies event-driven programming.
Language: Python - Size: 4.79 MB - Last synced at: 30 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
