typechecking
There are 78 repositories under typechecking topic.
google/closure-compiler
A JavaScript checker and optimizer.
rustedpy/result
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
msz/hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
brendanzab/language-garden
A garden of small programming language implementations 🪴
RobertCraigie/pyright-python
Python command line wrapper for pyright, a static type checker
Stewori/pytypes
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
erikerlandson/coulomb
coulomb: unit analysis for Scala
FelixTheC/strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
EzyGang/py-cachify
Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.
davidfstr/trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
SebastianMestre/Jasper
A programming language. Static types. Full type inference. Garbage collection. --- not stable
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 :).
happylynx/flow-webpack-plugin
A webpack plugin allowing to call Flow type checker.
spotify/ts-interface-loader
Webpack support for validating TypeScript definitions at runtime.
joelburget/lvca
language verification, construction, and analysis
elucent/clover
Lovable memory-safe systems language with a pretty fast compiler
SeanCannon/prettycats
Common predicates for validating objects
avanov/typeit
Infer Python types from JSON data, use them for auto serialisation and parsing
Drag13/IsNumberStrict
Checks if JavaScript variable is a number. Strings are not allowed.
michallepicki/tibe
Ahnfelt's Type Inference by Example but implemented in Gleam
msanlop/uza
A simple statically typed programming language
aradarbel10/Styff
A functional programming language based on system F (omega) ft. NbE and higher order unification
Shambles-Dev/AutoHotkey-Type_Checking
Type Checking for AutoHotkey
wjrforcyber/SystemT
👨💻 Implementing System T in Haskell 👨💻
alexewerlof/jty
A minimal type checking library that I need in various projects for safer programming
lolpack/type_coverage_py
Calculate the type coverage of popular Python libraries
PRL-PRG/contractr
An R :package: to insert function argument and return type contracts
alloc/is
Runtime type checking for TypeScript
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
Codevendor/inferjs
A package of InferJS tools, designed for runtime checking of JavaScript types and narrowing through expectations.
jkalish14/UserInputParser
Python package to parse user's input to ensure it is valid, and provide helpful error messages if not.
NicoPennec/tscheck-demo
Source code of live demo for "@ts-check", an awesome feature from TypeScript for static type checking of your Vanilla JS
OpenINF/openinf-util-types
Fundamental JavaScript type-related utilities
Rax-x/SimpleLang
Simple frontend developed to learn how to create type checkers
Toobo/TypeChecker
Library to check values against PHP types, is_a() on steroids.
vitalishapovalov/Typecheck
Super-simple type checkers