typechecking topic
tibe
Ahnfelt's Type Inference by Example but implemented in Gleam
hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
pytypes
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
closure-compiler
A JavaScript checker and optimizer.
coulomb
coulomb: unit analysis for Scala
strongtyping
Decorator which checks whether the function is called with the correct type of parameters.
Jasper
A programming language. Static types. Full type inference. Garbage collection. --- not stable
flow-webpack-plugin
A webpack plugin allowing to call Flow type checker.
pyright-python
Python command line wrapper for pyright, a static type checker
trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.