A JavaScript checker and optimizer.
-
Updated
May 22, 2025 - Java
#
typechecking
Here are 75 public repositories matching this topic...
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
-
Updated
Aug 19, 2024 - Python
🏝 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
-
Updated
Nov 30, 2023 - Elixir
A garden of small programming language implementations 🪴
dependent-types programming-languages compilers l-systems elaboration compilation typechecking language-garden
-
Updated
May 22, 2025 - OCaml
Python command line wrapper for pyright, a static type checker
-
Updated
May 21, 2025 - Python
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
-
Updated
Apr 29, 2023 - Python
coulomb: unit analysis for Scala
scala typelevel configuration numeric units-of-measure configuration-management unit-analysis unit-conversion static-types dimensional-analysis units typeclass type-safety avro-schema typechecking pureconfig refined unit-quantity
-
Updated
Apr 21, 2025 - Scala
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
-
Updated
Jan 5, 2025 - Python
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
-
Updated
May 19, 2025 - Python
A programming language. Static types. Full type inference. Garbage collection. --- not stable
-
Updated
Jul 7, 2024 - C++
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
-
Updated
Apr 19, 2021 - Python
A webpack plugin allowing to call Flow type checker.
-
Updated
Mar 1, 2019 - JavaScript
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
-
Updated
May 7, 2025 - Python
Webpack support for validating TypeScript definitions at runtime.
-
Updated
Jan 3, 2023 - TypeScript
language verification, construction, and analysis
language programming-language parsing typechecking denotational-semantics language-workbench pretty-printing
-
Updated
Apr 2, 2022 - OCaml
Common predicates for validating objects
-
Updated
May 19, 2023 - JavaScript
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
-
Updated
Oct 27, 2023 - Python
Ahnfelt's Type Inference by Example but implemented in Gleam
-
Updated
Jul 28, 2023 - Gleam
Checks if JavaScript variable is a number. Strings are not allowed.
-
Updated
Jan 27, 2023 - JavaScript
A simple statically typed programming language
-
Updated
Apr 9, 2025 - Python
Improve this page
Add a description, image, and links to the typechecking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecking topic, visit your repo's landing page and select "manage topics."