|
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
|
Haskell |
33 |
A bidirectional type checker |
Jul 16, 2022 |
|
|
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 |
5 |
CLI based Crunchyroll Account Checker Proxyless written in python from scratch. |
Jan 26, 2022 |
|
|
Haskell |
6 |
A type checker for a dependent type theory. |
May 25, 2020 |
|
|
Ruby |
1063 |
Static type checker for Ruby |
Sep 13, 2022 |
|
|
Python |
8362 |
Static type checker for Python |
Sep 01, 2022 |
|
|
TypeScript |
11 |
Precise type-checker for JavaScript |
Nov 18, 2022 |
|
|
Erlang |
441 |
A type-checker for Erlang |
Apr 18, 2023 |
|
|
OCaml |
26 |
Fωμ type checker and compiler |
Aug 10, 2022 |
|
|
TypeScript |
3 |
Simple JavaScript object type checker. |
Oct 27, 2019 |
|
|
Python |
2 |
Python type annotation existence checker |
Jan 08, 2023 |
|
|
Elixir |
3 |
A type checker for Elixir |
Feb 25, 2022 |
|
|
TypeScript |
3 |
Simple JavaScript data type checker. |
Nov 27, 2022 |
|
|
Ruby |
31 |
Gradual type checker for Ruby |
Feb 02, 2023 |
|
|
Scala |
16 |
A simple bidirectional type checker |
Mar 13, 2023 |
|
|
JavaScript |
2061 |
An advanced static type checker |
May 06, 2023 |
|
|
Haskell |
2 |
Compiler and type-checker experiments |
Aug 13, 2019 |
|
|
Haskell |
22 |
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt … |
Oct 28, 2021 |
|
|
None |
2 |
An experimental type checker for a dependent type theory. |
Oct 11, 2021 |
|
|
OCaml |
7 |
A Type-Based HFL Model Checker |
Apr 27, 2022 |
|
|
Python |
19 |
Python 2.7 & 3.5+ runtime type-checker |
Jan 21, 2022 |
|
|
Makefile |
29 |
Python type-checker written in Rust |
Jul 28, 2022 |
|
|
JavaScript |
117 |
⚡️ Runtime type-checker for JavaScript |
Jul 23, 2022 |
|
|
Haskell |
3 |
LF type checker written in Haskell |
Mar 18, 2022 |
|
|
Haskell |
2 |
A type checker monad and combinators |
Dec 05, 2019 |
|
|
Rust |
16 |
WIP: Python Type Checker and LSP |
Apr 30, 2023 |
|
|
Python |
1062 |
Run-time type checker for Python |
Nov 30, 2022 |
|
|
JavaScript |
16 |
The Strobe Type Checker for JavaScript |
Apr 24, 2022 |
|
|
Python |
3 |
A static type checker for Python |
Jan 28, 2023 |
|
|
TypeScript |
25 |
VSCode integration for svelte-type-checker |
Jan 28, 2023 |
|
|
Lua |
6 |
yet another lua static type checker |
Aug 27, 2022 |
|
|
Haskell |
73 |
Tiny type-checker with dependent types |
Mar 16, 2023 |
|
|
C |
2 |
An LF type checker in C |
Mar 14, 2024 |
|
|
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 |
|
|
Ruby |
23 |
A type coercion lib works with Sorbet's static type checker and type definitions |
Aug 10, 2022 |
|
|
Emacs Lisp |
7 |
Flycheck support for the Pyre type checker |
Apr 26, 2021 |
|
|
JavaScript |
10 |
A poor man's runtime-only type checker |
Jun 03, 2021 |
|
|
Haskell |
10 |
Utilities for writing GHC type-checker plugins |
Apr 26, 2022 |
|
|
JavaScript |
36 |
🔧 Utility scripts for Flow type checker |
Apr 08, 2022 |
|
|
TypeScript |
19 |
Relationship type checker functions for Typescript types. |
Sep 29, 2022 |
|
|
Prolog |
4 |
Type and syntax checker reporting using metainterpretation. |
Sep 08, 2020 |
|
|
Haskell |
9 |
sql parser and type checker in haskell |
Jan 09, 2023 |
|
|
Python |
215 |
Mypy static type checker plugin for Pytest |
Oct 15, 2022 |
|
|
TypeScript |
86 |
Relationship type checker functions for Typescript types. |
Mar 14, 2023 |
|
|
TypeScript |
6 |
Webpack plugin that runs TypeScript's type checker |
Oct 02, 2020 |