GitHub topics: type-checking
MilanStaffehl/numdantic
Typing support for numpy arrays and numpy array validation with pydantic.
Language: Python - Size: 136 KB - Last synced at: about 11 hours ago - Pushed at: about 15 hours ago - Stars: 3 - Forks: 0
sapphiredev/shapeshift
Blazing fast input validation and transformation âĄ
Language: TypeScript - Size: 21 MB - Last synced at: about 14 hours ago - Pushed at: about 18 hours ago - Stars: 97 - Forks: 14
melchiorrecaruso/adimRT
Type checking of dimensioned quantities at run time in FreePascal
Language: Pascal - Size: 5.25 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0
dokutan/typed-fennel
Adding dynamic type checking to Fennel
Language: Fennel - Size: 21.5 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 14 - Forks: 1
Nouman-blip/typesafex
Prevent your Python code from lying, before it ships. Runtime contracts. Type enforcement. Safety you can trust , even when static types can't help.
Language: Python - Size: 58.6 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
usethesource/typepal
TypePal is a framework for name analysis, type checking and type inference
Language: Rascal - Size: 2.17 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 4
eerkela/bertrand
flexible type extensions for pandas
Language: C++ - Size: 35.3 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2 - Forks: 0
brendanzab/language-garden
A garden of small programming language implementations ðŠī
Language: OCaml - Size: 2.18 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 270 - Forks: 6
Josverl/micropython-stubs
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Language: Python - Size: 56.8 MB - Last synced at: 4 days ago - Pushed at: 15 days ago - Stars: 229 - Forks: 25
sudoDeVinci/asyncPyGithub
Async python wrapper over Github API. Type validation with PydanticV2. Simple request caching and minimal object interfaces.
Language: Python - Size: 205 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
teal-language/tl
The compiler for Teal, a typed dialect of Lua
Language: Lua - Size: 5.06 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2,512 - Forks: 131
explosion/thinc
ðŪ A refreshing functional take on deep learning, compatible with your favorite libraries
Language: Python - Size: 10.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,859 - Forks: 282
Shopify/rbi
RBI generation framework
Language: Ruby - Size: 3.21 MB - Last synced at: 4 days ago - Pushed at: 8 days ago - Stars: 34 - Forks: 12
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: 643 KB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 3 - Forks: 0
NiclasDimitriadis/TMP_lib
Template metaprogramming library originally spun off from CppOrderBook project.
Language: C++ - Size: 84 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
ruby/rbs
Type Signature for Ruby
Language: Ruby - Size: 10.8 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 2,056 - Forks: 221
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Language: TypeScript - Size: 1.53 MB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 198 - Forks: 20
sindresorhus/ow
Function argument validation for humans
Language: TypeScript - Size: 1.36 MB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 3,827 - Forks: 107
abelcheung/pytest-revealtype-injector
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
Language: Python - Size: 192 KB - Last synced at: about 15 hours ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
johnthagen/python-blueprint
ð Example Python project using best practices ðĨ
Language: Python - Size: 2.32 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 658 - Forks: 92
kakasoo/DeepStrictTypes
Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects
Language: TypeScript - Size: 265 KB - Last synced at: about 9 hours ago - Pushed at: 4 months ago - Stars: 62 - Forks: 2
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: 2 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
loderunner/typelit
A type-safe string templating library for TypeScript
Language: TypeScript - Size: 381 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 1
ambv/retype
Re-apply type annotations from .pyi stubs to your codebase.
Language: Python - Size: 154 KB - Last synced at: 21 days ago - Pushed at: almost 3 years ago - Stars: 143 - Forks: 18
python/mypy_extensions
Extensions for mypy
Language: Python - Size: 55.7 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 148 - Forks: 37
msz/hammox
ð automated contract testing via type checking for Elixir functions and mocks
Language: Elixir - Size: 333 KB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 579 - Forks: 30
jasmcaus/caer
High-performance Vision library in Python. Scale your research, not boilerplate.
Language: Python - Size: 247 MB - Last synced at: 22 days ago - Pushed at: almost 2 years ago - Stars: 794 - Forks: 103
FelixTheC/strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
Language: Python - Size: 405 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 110 - Forks: 4
bazel-contrib/bazel-mypy-integration ðĶ
ððŋð Integrate MyPy type-checking into your Python Bazel builds
Language: Starlark - Size: 203 KB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 127 - Forks: 44
vitalets/babel-plugin-runtyper
âĄïļ Runtime type-checker for JavaScript
Language: JavaScript - Size: 1.32 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 118 - Forks: 4
Manoel-Fernandes/Validate
A lightweight library for validating primitive types in JavaScript
Language: JavaScript - Size: 212 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
Lambda-Mountain-Compiler-Backend/LSTS
Large Scale Type Systems (programming language)
Size: 1.22 MB - Last synced at: 12 days ago - Pushed at: about 2 months ago - Stars: 124 - Forks: 3
TheLartians/TypeScript2Python
ð Transpile TypeScript types to Python! A TypeScript to Python type transpiler.
Language: TypeScript - Size: 47.9 KB - Last synced at: 20 days ago - Pushed at: 6 months ago - Stars: 22 - Forks: 3
PyCQA/flake8-pyi
A plugin for Flake8 that provides specializations for type hinting stub files
Language: Python - Size: 612 KB - Last synced at: 17 days ago - Pushed at: about 2 months ago - Stars: 75 - Forks: 23
Qqwy/elixir-type_check
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Language: Elixir - Size: 1.53 MB - Last synced at: 20 days ago - Pushed at: 6 months ago - Stars: 528 - Forks: 25
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: 27 days ago - Pushed at: over 2 years ago - Stars: 89 - Forks: 5
shaina-gh/type-checking
A C++ program to implement type checking of variable assignments and expressions, simulating a part of the semantic analysis phase of a compiler.
Language: C++ - Size: 3.91 KB - Last synced at: 21 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
esther-poniatowski/tessara
Define and manage parameters as structured objects with constraints, rules, and modular compositions
Language: Python - Size: 55.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
millsp/ts-toolbelt
ð· TypeScript's largest type utility library
Language: TypeScript - Size: 38.2 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 6,961 - Forks: 150
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: about 2 months ago - Pushed at: over 4 years ago - Stars: 3,379 - Forks: 256
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: 97.7 KB - Last synced at: 19 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
JetBrains/mps-coderules
Type checking and logical inference for JetBrains MPS
Language: JetBrains MPS - Size: 99.6 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 33 - Forks: 5
philbooth/check-types.js ðĶ
MOVED TO GITLAB
Language: JavaScript - Size: 589 KB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 227 - Forks: 32
fontebasso/valitype
A lightweight TypeScript validation library for environment variables and configuration.
Language: TypeScript - Size: 381 KB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
sylvainpolletvillard/ObjectModel
Strong Dynamically Typed Object Modeling for JavaScript
Language: JavaScript - Size: 5.3 MB - Last synced at: 10 days ago - Pushed at: 10 months ago - Stars: 471 - Forks: 28
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: 20 days ago - Pushed at: 2 months 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: 2 months 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: about 2 months ago - Pushed at: 5 months ago - Stars: 24 - Forks: 2
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: about 2 months ago - Pushed at: 6 months ago - Stars: 51 - Forks: 7
NextGenContributions/.nitpick
Shared settings for linters, type checking tools and VSCode
Language: JavaScript - Size: 50.8 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
GregRos/what-are-you
Super handy, super basic type checking for TS/JS.
Language: TypeScript - Size: 4.61 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
xodio/hm-def
Runtime type checking for JS with Hindley Milner signatures
Language: JavaScript - Size: 759 KB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 199 - Forks: 11
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: 27 days ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 2
code-cb/ts-utils
ð A modern and practical TypeScript type utility library
Language: TypeScript - Size: 1.1 MB - Last synced at: 16 days ago - Pushed at: 3 months 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: 12 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
selfagency/typa ðĶ
Super-simple, zero-dependency JavaScript type checking utility.
Language: JavaScript - Size: 522 KB - Last synced at: about 14 hours ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1
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: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
matsjoyce/pyside6-qml-stubgen
Generate QML stub files (.qmltypes) from Python modules (which use PySide6)
Language: Python - Size: 77.1 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 2 - Forks: 2
rho-contracts/rho-contracts
Higher-order contracts and runtime schema checking for JavaScript
Language: JavaScript - Size: 752 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
dsheiko/bycontract
Argument validation library based on JSDOC syntax
Language: JavaScript - Size: 1.51 MB - Last synced at: 25 days ago - Pushed at: 4 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: about 2 months ago - Pushed at: about 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: 3 months 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: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0
rozek/javascript-interface-library
various classification, validation and utility functions
Language: TypeScript - Size: 377 KB - Last synced at: 26 days ago - Pushed at: 10 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 2 months ago - Pushed at: about 4 years ago - Stars: 316 - Forks: 15
thehale/signatures
Run-time type checking for function signatures in Python.
Language: Python - Size: 182 KB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
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: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Language: Scala - Size: 646 KB - Last synced at: 3 months 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: 5 months ago - Pushed at: 5 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: about 2 hours ago - Pushed at: 5 months ago - Stars: 5 - 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: 23 days ago - Pushed at: 5 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: 10 days ago - Pushed at: about 1 year ago - Stars: 22 - Forks: 2
75lb/typical
Isomorphic, functional type-checking for Javascript
Language: JavaScript - Size: 284 KB - Last synced at: 14 days ago - Pushed at: 8 months ago - Stars: 23 - Forks: 4
d-plaindoux/tyasta
A journey with F*
Language: F* - Size: 53.7 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 0
angelabenavente/is-string-checker
An utility to check if a value is a string.
Language: JavaScript - Size: 10.7 KB - Last synced at: 4 months ago - Pushed at: 5 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: 4 months ago - Pushed at: 5 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: 27 days ago - Pushed at: over 2 years ago - Stars: 40 - Forks: 5
dcousens/typeforce
Another biased type checking solution for Javascript
Language: JavaScript - Size: 349 KB - Last synced at: about 1 month 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: 5 months ago - Pushed at: 5 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: 22 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 0
lixhq/validex
Validex is a library for doing data validation in Elixir.
Language: Elixir - Size: 55.7 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 0
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Language: Elm - Size: 15.6 KB - Last synced at: 3 months 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: 16 days ago - Pushed at: about 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: 6 months ago - Pushed at: 7 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: about 6 hours ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
thombashi/typepy
A Python library for variable type checker/validator/converter at a run time.
Language: Python - Size: 416 KB - Last synced at: 13 days ago - Pushed at: 21 days 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: 4 months ago - Pushed at: 7 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: 3 months ago - Pushed at: over 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: 3 days ago - Pushed at: 8 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: 7 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
ArcletProject/NEPattern
a complex pattern, support typing
Language: Python - Size: 189 KB - Last synced at: 3 days ago - Pushed at: 8 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: 7 months ago - Pushed at: 7 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: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1
DWTechs/CheckHard.js
This library is no longer maintained. Please use @DWTechs/Checkard.js instead.
Language: JavaScript - Size: 279 KB - Last synced at: 3 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
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: 5 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 23 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: about 1 month ago - Pushed at: over 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: 30 days ago - Pushed at: 10 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: 24 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
