|
|
Ruby |
2 |
Type Coercion & Type Enhancement |
Apr 04, 2021 |
|
|
JavaScript |
3 |
Bending JavaScript with Type Coercion |
Jun 28, 2022 |
|
|
Ruby |
1063 |
Static type checker for Ruby |
Sep 13, 2022 |
|
|
Python |
8362 |
Static type checker for Python |
Sep 01, 2022 |
|
|
JavaScript |
2061 |
An advanced static type checker |
May 06, 2023 |
|
|
Python |
3 |
A static type checker for Python |
Jan 28, 2023 |
|
|
Lua |
6 |
yet another lua static type checker |
Aug 27, 2022 |
|
|
Python |
215 |
Mypy static type checker plugin for Pytest |
Oct 15, 2022 |
|
|
JavaScript |
2 |
Flow: A Static Type Checker for JavaScript |
Mar 23, 2023 |
|
|
JavaScript |
7 |
Ensure runtime type safety and perform type coercion if needed. |
Mar 04, 2023 |
|
|
Ruby |
31 |
`Rack::Request.params` validation and type coercion, on Rack. |
Jun 19, 2022 |
|
|
Ruby |
521 |
Parameter Validation & Type Coercion for Sinatra |
Mar 05, 2022 |
|
|
Ruby |
2 |
A flexible type coercion library for Ruby |
Feb 01, 2019 |
|
|
JavaScript |
39 |
Practical code examples for Facebook Flow static type checker |
Jan 28, 2023 |
|
|
JavaScript |
338 |
Verification, sanitization, and type coercion for environment variables in Node.js |
Aug 02, 2022 |
|
|
Ruby |
2 |
Pronto runner for Sorbet, a static type checker for Ruby |
Feb 01, 2021 |
|
|
Python |
27 |
Python command line wrapper for pyright, a static type checker |
Sep 03, 2022 |
|
|
TypeScript |
56 |
Visual Studio Code extension for javascript Flowtype static type checker |
Apr 17, 2022 |
|
|
TypeScript |
2 |
Database schema and type definitions |
Jan 14, 2020 |
|
|
OCaml |
26 |
Fωμ type checker and compiler |
Aug 10, 2022 |
|
|
Haskell |
2 |
Compiler and type-checker experiments |
Aug 13, 2019 |
|
|
Haskell |
73 |
Tiny type-checker with dependent types |
Mar 16, 2023 |
|
|
TypeScript |
20 |
mxgraph type definitions |
Nov 16, 2021 |
|
|
TypeScript |
3 |
CORD type definitions |
Mar 17, 2023 |
|
|
Julia |
41 |
Concise type definitions |
Feb 11, 2023 |
|
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
|
JavaScript |
5 |
Access environment variables. Also includes presence validation, type coercion and default values. |
Nov 29, 2018 |
|
|
Ruby |
36 |
Access environment variables. Also includes presence validation, type coercion and default values. |
Apr 25, 2023 |
|
|
Python |
12 |
Generator of Crystal lib definitions |
Jul 21, 2021 |
|
|
JavaScript |
10 |
A simple static type checker that enforces C-style programming in Julia |
May 07, 2023 |
|
|
C++ |
4 |
JapaneseCleaner build with cpp and openjtalk cpp static lib |
Mar 24, 2023 |
|
|
Haskell |
6 |
Prototypical type checker for Type Theory with Sized Natural Numbers |
Nov 01, 2021 |
|
|
Haxe |
9 |
Type definitions for using NW.js with Haxe. |
Apr 30, 2023 |
|
|
Haxe |
2 |
Type definitions for using Neutralinojs with Haxe. |
May 04, 2023 |
|
|
Haskell |
2 |
A type checker monad and combinators |
Dec 05, 2019 |
|
|
Rust |
16 |
WIP: Python Type Checker and LSP |
Apr 30, 2023 |
|
|
VimL |
89 |
Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/) |
May 26, 2022 |
|
|
JavaScript |
4 |
Check TypeScript type definitions |
Feb 07, 2022 |
|
|
None |
8 |
Type Definitions for NightwatchJS |
Jan 16, 2019 |
|
|
TypeScript |
8 |
Type definitions for Enhance |
Apr 17, 2023 |
|
|
None |
5 |
Type definitions for BetterDiscord. |
Apr 23, 2023 |
|
|
TypeScript |
1698 |
Check TypeScript type definitions |
Oct 10, 2022 |
|
|
JavaScript |
27 |
Haxe→Three.js type definitions |
Jun 28, 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 |
|
|
JavaScript |
9 |
A tool to infer and generate static type definitions based on resources returned by backend … |
Mar 10, 2023 |