|
|
Ruby |
3 |
A fast, powerful type checker designed for Ruby |
Jul 09, 2022 |
|
|
Ruby |
1063 |
Static type checker for Ruby |
Sep 13, 2022 |
|
|
Ruby |
31 |
Gradual type checker for Ruby |
Feb 02, 2023 |
|
|
Ruby |
2 |
Pronto runner for Sorbet, a static type checker for Ruby |
Feb 01, 2021 |
|
|
Python |
3 |
⚡ A really fast and powerful Discord Token Checker |
Jun 11, 2022 |
|
|
Ruby |
12 |
A powerful attribute and type management library for Ruby |
Nov 22, 2021 |
|
|
TypeScript |
8 |
A lightning fast TypeScript type checker for Vue SFC Script tags |
Jan 10, 2022 |
|
|
JavaScript |
2 |
Simple but powerful and fast Hulu checker written in NodeJS. |
Mar 25, 2022 |
|
|
None |
2 |
Super-fast Runtime validator (type checker) with only one line |
Mar 07, 2023 |
|
|
Ruby |
5 |
Fast, easy, and simple runtime type checking for Ruby |
Apr 19, 2023 |
|
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
|
Go |
2299 |
Fast and powerful Git hooks manager for any type of projects. |
Aug 19, 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 |
|
|
Elixir |
3 |
A type checker for Elixir |
Feb 25, 2022 |
|
|
Haskell |
6 |
A type checker for a dependent type theory. |
May 25, 2020 |
|
|
C# |
11 |
A fast and efficient IPTV link checker, made for every type of playlists. |
Feb 14, 2023 |
|
|
Ruby |
3 |
Final year project at UoY - experimental Ruby type checker with metaprogramming support |
May 06, 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 |
|
|
Rust |
186 |
Fast HTTP Checker. |
Apr 13, 2023 |
|
|
Dart |
354 |
Fast link checker |
Apr 29, 2023 |
|
|
None |
2 |
Beautiful designed Minecraft Checker |
Feb 12, 2022 |
|
|
None |
2 |
An experimental type checker for a dependent type theory. |
Oct 11, 2021 |
|
|
JavaScript |
117 |
⚡️ Runtime type-checker for JavaScript |
Jul 23, 2022 |
|
|
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 |
53 |
A powerful (and blazing fast) argument checker and function overloading system for Lua or LuaJIT |
Oct 14, 2022 |
|
|
JavaScript |
2 |
Simple, fast, powerful and intuitive mobile weather APP designed for iOS and Adroid |
Aug 16, 2023 |
|
|
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 |
|
|
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 |
|
|
TypeScript |
3 |
Simple JavaScript data type checker. |
Nov 27, 2022 |
|
|
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 |
|
|
Python |
2 |
Twitch Fast Token Checker |
Jun 06, 2022 |
|
|
Python |
3 |
very fast webhook checker |
Mar 26, 2023 |
|
|
JavaScript |
2 |
Fast WoozWorld accounts checker. |
Apr 14, 2023 |
|
|
JavaScript |
5 |
Crazy fast token checker |
May 07, 2023 |
|
|
Java |
2 |
Nano's fast proxy checker! |
Oct 11, 2022 |