|
|
Python |
19 |
Python 2.7 & 3.5+ runtime type-checker |
Jan 21, 2022 |
|
|
TypeScript |
11 |
Precise type-checker for JavaScript |
Nov 18, 2022 |
|
|
JavaScript |
10 |
A poor man's runtime-only type checker |
Jun 03, 2021 |
|
|
JavaScript |
16 |
The Strobe Type Checker for JavaScript |
Apr 24, 2022 |
|
|
JavaScript |
78 |
Runtime type checking for JavaScript |
Sep 19, 2022 |
|
|
TypeScript |
3 |
Simple JavaScript object type checker. |
Oct 27, 2019 |
|
|
TypeScript |
3 |
Simple JavaScript data type checker. |
Nov 27, 2022 |
|
|
JavaScript |
2 |
Flow: A Static Type Checker for JavaScript |
Mar 23, 2023 |
|
|
JavaScript |
60 |
Runtime type-checking for JavaScript functions |
Apr 14, 2023 |
|
|
Shell |
289 |
A runtime type checker for bash.... in bash. I'm not sorry. |
Aug 02, 2022 |
|
|
Rust |
92 |
Build database expression type checker and vectorized runtime executor in type-safe Rust |
Apr 08, 2023 |
|
|
None |
2 |
Super-fast Runtime validator (type checker) with only one line |
Mar 07, 2023 |
|
|
JavaScript |
3 |
Runtime type checking in pure javascript. |
May 30, 2022 |
|
|
TypeScript |
51 |
TypeScript type definitions for Bun's JavaScript runtime APIs |
Aug 10, 2022 |
|
|
CoffeeScript |
20 |
Runtime type annotations for CoffeeScript (and JavaScript too!) |
Jan 28, 2023 |
|
|
TypeScript |
2 |
Runtime structural type assertions for TypeScript and JavaScript |
Jul 22, 2023 |
|
|
TypeScript |
56 |
Visual Studio Code extension for javascript Flowtype static type checker |
Apr 17, 2022 |
|
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
|
Ruby |
1063 |
Static type checker for Ruby |
Sep 13, 2022 |
|
|
Python |
8362 |
Static type checker for Python |
Sep 01, 2022 |
|
|
Erlang |
441 |
A type-checker for Erlang |
Apr 18, 2023 |
|
|
Elixir |
3 |
A type checker for Elixir |
Feb 25, 2022 |
|
|
Ruby |
31 |
Gradual type checker for Ruby |
Feb 02, 2023 |
|
|
Python |
6 |
A runtime checker for modern TypedDicts |
Aug 11, 2022 |
|
|
Prolog |
5 |
Runtime determinacy checker for SWI-Prolog |
Apr 23, 2023 |
|
|
JavaScript |
812 |
A runtime type system for JavaScript with full Flow compatibility. |
Jul 02, 2022 |
|
|
Haskell |
6 |
A type checker for a dependent type theory. |
May 25, 2020 |
|
|
JavaScript |
3 |
A JavaScript argument-type-checker, without the need for preprocessing or compiling. |
Nov 29, 2018 |
|
|
JavaScript |
521 |
Collect runtime type information 😻 of your JavaScript code. |
Jun 10, 2022 |
|
|
Haskell |
33 |
A bidirectional type checker |
Jul 16, 2022 |
|
|
JavaScript |
104 |
From scratch type-checker |
Feb 15, 2023 |
|
|
Rust |
4794 |
Speedy TypeScript type checker |
May 06, 2023 |
|
|
Rust |
3 |
Speedy TypeScript type checker |
Jan 31, 2023 |
|
|
Haskell |
10 |
Simple Dependent Type Checker |
Apr 26, 2023 |
|
|
None |
2 |
Speedy TypeScript type checker |
Mar 22, 2024 |
|
|
None |
2 |
An experimental type checker for a dependent type theory. |
Oct 11, 2021 |
|
|
Python |
1062 |
Run-time type checker for Python |
Nov 30, 2022 |
|
|
Python |
3 |
A static type checker for Python |
Jan 28, 2023 |
|
|
TypeScript |
25 |
VSCode integration for svelte-type-checker |
Jan 28, 2023 |
|
|
TypeScript |
5 |
A collection of composable JavaScript runtime type predicates with TypeScript type guard declarations |
Oct 29, 2021 |
|
|
TypeScript |
2 |
Runtime type generation |
May 29, 2021 |
|
|
TypeScript |
2 |
Runtime type checking for TypeScript |
Oct 20, 2021 |
|
|
JavaScript |
56 |
Runtime type checking for JSDoc |
Jan 26, 2021 |
|
|
TypeScript |
2 |
Runtime type system for TypeScript |
Feb 17, 2023 |
|
|
Elixir |
8 |
Runtime type suggestions for Elixir |
Oct 05, 2022 |
|
|
Python |
4 |
Runtime type enforcement for Python |
Dec 07, 2022 |
|
|
Haskell |
6 |
Prototypical type checker for Type Theory with Sized Natural Numbers |
Nov 01, 2021 |
|
|
OCaml |
106 |
An experimental type checker for a modal dependent type theory. |
Jan 29, 2023 |
|
|
TypeScript |
2 |
Cambridge CS Pseudocode runtime and checker. |
Apr 24, 2024 |
|
|
OCaml |
26 |
Fωμ type checker and compiler |
Aug 10, 2022 |