A JavaScript checker and optimizer.
-
Updated
Nov 11, 2026 - JavaScript
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com â Build software better, together
#
typecheckingHere are 89 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
A fast type checker and language server for Python
python rust typechecker types language-server ide language-server-protocol typing vscode-extension code-quality type-annotations type-hints typecheck typechecking type-checker lsp type-check
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
python rust functional-programming python3 type-safety strongly-typed mypy railway-oriented-programming typechecking
ð automated contract testing via type checking for Elixir functions and mocks
testing mock unit-testing typechecker elixir contract behaviour contracts type-checking mocks contract-testing behaviours typechecking dialyzer mox type-checker typespec behaviour-typespec typespecs explicit-contracts
A garden of small programming language implementations ðŠī
dependent-types interpreter type-theory programming-languages compilers type-checking l-systems interpreters elaboration compilation typechecking normalization-by-evaluation type-systems language-garden
Python command line wrapper for pyright, a static type checker
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
coulomb: unit analysis for Scala
scala typelevel unit-analysis unit-conversion static-types dimensional-analysis units typeclass configurations type-safety typechecking pureconfig refined unit-quantity
Decorator which checks whether the function is called with the correct type of parameters.
python property decorator type-checking typechecking docstring-checker runtime-checking setter-getter typing-decorator
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.
python redis caching sync async cache decorators lock locks python3 locking pickle typechecking cachify locking-library
A programming language. Static types. Full type inference. Garbage collection. --- not stable
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 :).
boilerplate code-generator class property properties attribute constructor fields contracts auto enforce setter type-hints typechecking pep484 getter runtime-typechecking autoargs autoprops attr
A webpack plugin allowing to call Flow type checker.
Webpack support for validating TypeScript definitions at runtime.
language verification, construction, and analysis
language programming-language parsing typechecking denotational-semantics language-workbench pretty-printing
Type checker for dynamic languages like JavaScript & Python, with full type inference and no transpilation
Lovable memory-safe systems language with a pretty fast compiler
programming-language runtime data-oriented-design memory-safety compilers syntactic-sugar type-inference compiler-optimization typechecking
Common predicates for validating objects
Infer Python types from JSON data, use them for auto serialisation and parsing
python serialization parser json parsing typing python3 deserialization structured-data mypy typechecking colander pyrsistent
Add this topic to your repoTo associate your repository with the typechecking topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 â GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800Ã600. No cookies required. |