|
|
JavaScript |
39 |
Practical code examples for Facebook Flow static type checker |
Jan 28, 2023 |
|
|
Ruby |
1063 |
Static type checker for Ruby |
Sep 13, 2022 |
|
|
Python |
8362 |
Static type checker for Python |
Sep 01, 2022 |
|
|
Python |
118 |
SublimeLinter plugin for JavaScript static type checking, using flow. |
Jan 25, 2023 |
|
|
TypeScript |
56 |
Visual Studio Code extension for javascript Flowtype static type checker |
Apr 17, 2022 |
|
|
Python |
3 |
A static type checker for Python |
Jan 28, 2023 |
|
|
JavaScript |
36 |
🔧 Utility scripts for Flow type checker |
Apr 08, 2022 |
|
|
JavaScript |
2061 |
An advanced static type checker |
May 06, 2023 |
|
|
Python |
215 |
Mypy static type checker plugin for Pytest |
Oct 15, 2022 |
|
|
TypeScript |
11 |
Precise type-checker for JavaScript |
Nov 18, 2022 |
|
|
Lua |
6 |
yet another lua static type checker |
Aug 27, 2022 |
|
|
JavaScript |
117 |
⚡️ Runtime type-checker for JavaScript |
Jul 23, 2022 |
|
|
JavaScript |
16 |
The Strobe Type Checker for JavaScript |
Apr 24, 2022 |
|
|
TypeScript |
3 |
Simple JavaScript object type checker. |
Oct 27, 2019 |
|
|
TypeScript |
3 |
Simple JavaScript data type checker. |
Nov 27, 2022 |
|
|
Ruby |
2 |
Pronto runner for Sorbet, a static type checker for Ruby |
Feb 01, 2021 |
|
|
Ruby |
23 |
A type coercion lib works with Sorbet's static type checker and type definitions |
Aug 10, 2022 |
|
|
Python |
27 |
Python command line wrapper for pyright, a static type checker |
Sep 03, 2022 |
|
|
JavaScript |
108 |
A portmanteau of flow and annotate, allows using the Flow type checker with standard JavaScript … |
May 21, 2022 |
|
|
VimL |
89 |
Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/) |
May 26, 2022 |
|
|
JavaScript |
482 |
Babel plugin for static and runtime type checking using Flow and tcomb |
Apr 17, 2022 |
|
|
JavaScript |
3 |
Babel plugin for static and runtime type checking using Flow and tcomb |
Jun 02, 2017 |
|
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
|
JavaScript |
40 |
Converts Thrift specs into Flow JavaScript type definitions |
Apr 08, 2022 |
|
|
Python |
89 |
Static security checker for Dockerfiles |
Jul 23, 2022 |
|
|
JavaScript |
10 |
A simple static type checker that enforces C-style programming in Julia |
May 07, 2023 |
|
|
JavaScript |
812 |
A runtime type system for JavaScript with full Flow compatibility. |
Jul 02, 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 |
|
|
JavaScript |
2 |
A helper library link runtime type check to static flow check. |
Apr 17, 2017 |
|
|
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 |
|
|
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 |
|
|
Python |
13 |
Static migration conflict checker for Django |
Mar 15, 2023 |
|
|
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 |
|
|
TypeScript |
25 |
VSCode integration for svelte-type-checker |
Jan 28, 2023 |
|
|
JavaScript |
51 |
Flow type definitions for React |
Mar 08, 2023 |
|
|
JavaScript |
3 |
flow type files for highland.js |
Oct 25, 2018 |
|
|
Java |
34 |
Static checker for Rx Threading Effects, based on the Checker Framework |
May 28, 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 |
|
|
Scala |
17 |
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type … |
Dec 09, 2022 |
|
|
C# |
2 |
Static Checker for Concurrency Errors in C# |
Jul 16, 2022 |