|
|
TypeScript |
1695 |
Webpack plugin that runs typescript type checker on a separate process. |
Aug 15, 2022 |
|
|
TypeScript |
5 |
🚀 Rollup plugin that runs typescript type checker on a separate process. |
Jul 06, 2022 |
|
|
TypeScript |
1735 |
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system |
Oct 10, 2022 |
|
|
TypeScript |
382 |
TypeScript's type definitions for Ramda |
Oct 06, 2022 |
|
|
JavaScript |
15 |
Plugin to make TypeScript's JSDoc type annotations work with JSDoc |
Mar 31, 2022 |
|
|
TypeScript |
4680 |
👷 TypeScript's largest type utility library |
Sep 11, 2022 |
|
|
TypeScript |
3 |
String Interpolator with Typescript's Type System |
Jul 16, 2022 |
|
|
TypeScript |
2 |
Basic Mathematics In Typescript's Type System |
Jun 21, 2022 |
|
|
TypeScript |
2 |
Basic Mathematics In Typescript's Type System |
Dec 12, 2022 |
|
|
TypeScript |
10 |
basic mathematics in typescript's type system |
Jul 24, 2022 |
|
|
Python |
215 |
Mypy static type checker plugin for Pytest |
Oct 15, 2022 |
|
|
TypeScript |
4 |
TypeScript type definitions for new JavaScript stuff that isn't yet in TypeScript's standard type definitions |
Mar 13, 2023 |
|
|
Haskell |
22 |
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt … |
Oct 28, 2021 |
|
|
TypeScript |
393 |
JSON Parser written entirely in TypeScript's type system |
Jul 26, 2022 |
|
|
None |
2 |
JSON Parser written entirely in TypeScript's type system |
Mar 27, 2022 |
|
|
JavaScript |
259 |
Runs (webpack) loaders |
Aug 04, 2022 |
|
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
|
TypeScript |
34 |
Using TypeScript's Type System to do 8-bit Arithmetic |
Apr 11, 2023 |
|
|
None |
149 |
⬛ 🟨 🟩 TypeScriptle - Wordle in TypeScript's type system |
May 16, 2023 |
|
|
Go |
2 |
godel plugin that runs organizes and runs formatters |
Dec 14, 2022 |
|
|
Haskell |
50 |
A plugin for solving numeric constraints in GHC's type-checker |
Feb 23, 2022 |
|
|
TypeScript |
5 |
Lambda Calculus parser and interpreter made in TypeScript's type system |
Jul 28, 2022 |
|
|
TypeScript |
980 |
📚 Functions and algorithms implemented purely with TypeScript's type system |
May 23, 2023 |
|
|
Go |
2 |
godel plugin that runs amalgomate |
Feb 14, 2023 |
|
|
Go |
2 |
godel plugin that runs dep |
Dec 18, 2020 |
|
|
Python |
8 |
Flake8 plugin that runs PyLint |
Mar 06, 2023 |
|
|
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 |
|
|
TypeScript |
199 |
🌳 A tiny language interpreter implemented purely in TypeScript's type-system |
Apr 29, 2023 |
|
|
Go |
2 |
godel plugin that runs go-license |
Dec 14, 2022 |
|
|
C++ |
2 |
Experimental plugin that runs shell programs |
Jun 13, 2018 |
|
|
Java |
5 |
A Maven plugin that runs SBT |
Feb 13, 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 |