|
Rust |
4794 |
Speedy TypeScript type checker |
May 06, 2023 |
|
Rust |
3 |
Speedy TypeScript type checker |
Jan 31, 2023 |
|
None |
2 |
Speedy TypeScript type checker |
Mar 22, 2024 |
|
Python |
6 |
The Fastest Minecraft Username Checker |
Jun 25, 2022 |
|
TypeScript |
19 |
Relationship type checker functions for Typescript types. |
Sep 29, 2022 |
|
TypeScript |
86 |
Relationship type checker functions for Typescript types. |
Mar 14, 2023 |
|
TypeScript |
94 |
a type checker for typescript written Vue components |
Aug 01, 2022 |
|
TypeScript |
56 |
Fastest event emitter in the world |
May 04, 2023 |
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
TypeScript |
3 |
The clean & fastest express+typescript implementation |
Dec 28, 2022 |
|
JavaScript |
16 |
The Strobe Type Checker for JavaScript |
Apr 24, 2022 |
|
TypeScript |
8 |
A lightning fast TypeScript type checker for Vue SFC Script tags |
Jan 10, 2022 |
|
TypeScript |
1695 |
Webpack plugin that runs typescript type checker on a separate process. |
Aug 15, 2022 |
|
Julia |
21 |
The fastest tropical matrix multiplication in the world! |
May 10, 2023 |
|
TypeScript |
37 |
The smallest & fastest library for really easy, totally type-safe unit conversions in TypeScript & … |
Aug 08, 2022 |
|
Haskell |
33 |
A bidirectional type checker |
Jul 16, 2022 |
|
JavaScript |
104 |
From scratch type-checker |
Feb 15, 2023 |
|
Haskell |
10 |
Simple Dependent Type Checker |
Apr 26, 2023 |
|
TypeScript |
5 |
🚀 Rollup plugin that runs typescript type checker on a separate process. |
Jul 06, 2022 |
|
TypeScript |
2 |
A TypeScript implementation of a type checker on a simple programming language. |
Feb 13, 2022 |
|
JavaScript |
6 |
zod-args is the fastest way to throw together a simple CLI with TypeScript type checking. |
Dec 08, 2022 |
|
Emacs Lisp |
7 |
Flycheck support for the Pyre type checker |
Apr 26, 2021 |
|
Lua |
8 |
The world fastest JSON parser ported to Lua |
Jul 04, 2022 |
|
C# |
275 |
The world fastest enum utilities for C#/.NET |
Apr 17, 2023 |
|
PHP |
1140 |
Probably the fastest PHP web framework in the world. |
Sep 02, 2022 |
|
C++ |
2 |
The fastest tools for 3dtiles convert in the world! |
Feb 08, 2023 |
|
None |
2 |
The fastest tools for 3dtiles convert in the world! |
Nov 11, 2022 |
|
JavaScript |
5 |
The fastest gigascale image annotation system in the world! |
Sep 03, 2020 |
|
C++ |
2 |
The fastest tools for 3dtiles convert in the world! |
May 10, 2023 |
|
Go |
10 |
The simplest and fastest static website generator in the world!! |
Aug 06, 2022 |
|
Haskell |
52 |
Reference type checker for the Lean theorem prover |
Apr 08, 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 |
|
TypeScript |
3 |
TypeScript and Vue.js checker |
Jun 14, 2022 |
|
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 |
|
Rust |
1152 |
The fastest font renderer in the world, written in pure rust. |
May 10, 2023 |
|
TypeScript |
5 |
✨The fastest way to bundle your TypeScript libraries. |
Aug 31, 2022 |