Ecosyste.ms: 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: 29 Sep 2024
https://github.com/rustedpy/result
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: 30 Sep 2024
https://github.com/msz/hammox
ð automated contract testing via type checking for Elixir functions and mocks
behaviour behaviour-typespec behaviours contract contract-testing contracts dialyzer elixir explicit-contracts mock mocks mox testing type-checker type-checking typechecker typechecking typespec typespecs unit-testing
Last synced: 31 Jul 2024
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: 02 Aug 2024
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: 04 Aug 2024
https://github.com/RobertCraigie/pyright-python
Python command line wrapper for pyright, a static type checker
Last synced: 03 Aug 2024
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: 04 Aug 2024
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: 04 Aug 2024
https://github.com/happylynx/flow-webpack-plugin
A webpack plugin allowing to call Flow type checker.
flow flowtype typechecking webpack-plugin
Last synced: 27 Sep 2024
https://github.com/Shambles-Dev/AutoHotkey-Type_Checking
Type Checking for AutoHotkey
ahk autohotkey type-checking typechecking
Last synced: 04 Aug 2024
https://github.com/PRL-PRG/contractr
An R :package: to insert function argument and return type contracts
contracts r typechecking types
Last synced: 13 Aug 2024
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: 01 Oct 2024
