|
Python |
48 |
mypy static type checking for python |
May 04, 2022 |
|
Python |
215 |
Mypy static type checker plugin for Pytest |
Oct 15, 2022 |
|
VimL |
89 |
Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/) |
May 26, 2022 |
|
Python |
2 |
Mypy plugin which adds type-assertions |
Jan 07, 2023 |
|
Python |
17 |
github action for python's mypy type checker tool |
Jul 30, 2022 |
|
JavaScript |
2 |
:sparkles: SparkPost email provider for Campaign |
Mar 31, 2016 |
|
None |
5 |
Python typing koans to learn type-hints in Python3 using Mypy |
Feb 16, 2023 |
|
Rust |
40 |
Using Code Language Models for Gradual Type Inference |
Apr 10, 2023 |
|
Emacs Lisp |
11 |
Emacs compilation-mode based support for python 3.6+ Type Hint Checking using mypy |
Nov 23, 2021 |
|
JavaScript |
2 |
type inference for js |
Jan 08, 2018 |
|
Haskell |
2 |
Bidirectional type inference with wildcards, or "unidirectional type inference" |
Dec 05, 2019 |
|
Python |
23 |
pytest plugin to test mypy static type analysis |
Jan 30, 2023 |
|
C# |
4 |
Type provider for Spectre.Console.Cli using the Microsoft.Extensions.DependencyInjection container. |
Jun 27, 2023 |
|
Jupyter Notebook |
26 |
Probabilistic type inference |
May 21, 2022 |
|
Julia |
12 |
maintainable type inference |
Apr 19, 2023 |
|
Python |
31 |
Helper for starting to type-hint large codebases with mypy. |
Jun 14, 2022 |
|
Python |
192 |
Mypy stubs, i.e., type information, for numpy, pandas and matplotlib |
Aug 05, 2022 |
|
OCaml |
4 |
Type inference engine for Ruby |
Jun 26, 2022 |
|
Clojure |
5 |
Hindley-Milner type inference. |
Oct 09, 2020 |
|
OCaml |
171 |
Prototype type inference engine |
Jul 27, 2022 |
|
TeX |
38 |
Type inference in OCaml |
Mar 30, 2023 |
|
TypeScript |
9 |
ts-type-inference-test |
Mar 08, 2023 |
|
Fortran |
13 |
MPI Fortran type inference |
Dec 19, 2022 |
|
Python |
6 |
Type inference for Machine Learning pipelines |
Oct 19, 2022 |
|
JavaScript |
16 |
DoctorJS--, simple type inference for JavaScript |
Mar 08, 2023 |
|
Haskell |
4 |
Classic Algorithm W for type inference. |
Feb 20, 2019 |
|
Haskell |
227 |
Classic Algorithm W for type inference. |
May 11, 2023 |
|
Python |
24 |
A handful of tools for using mypy |
Apr 03, 2022 |
|
F# |
11 |
Type provider for .mat files |
Dec 17, 2021 |
|
TypeScript |
32 |
A Type Provider for Typebox |
Aug 19, 2022 |
|
F# |
5 |
F# type provider for BigQuery |
Jan 25, 2022 |
|
Python |
95 |
Extensions for mypy (separated out from mypy/extensions). |
Jul 19, 2022 |
|
Scala |
2 |
Implementation of type inference for System F |
Aug 01, 2022 |
|
Haskell |
10 |
Practical type inference for arbitrary-rank types |
Dec 17, 2022 |
|
Haskell |
4 |
Type inference algorithms for functional programming languages |
May 12, 2023 |
|
Python |
2 |
Fine-tune SantaCoder for TypeScript Type Inference |
Aug 28, 2023 |
|
Elm |
2 |
Type inference support for elm-syntax ASTs |
Oct 18, 2023 |
|
Ruby |
27 |
Reboot type and provider |
Jun 23, 2022 |
|
F# |
12 |
Creating a type provider |
May 13, 2020 |
|
F# |
8 |
F# Type Provider for Azure DocumentDb |
Dec 17, 2021 |
|
F# |
228 |
F# generative Type Provider for Swagger |
Jul 18, 2022 |
|
F# |
22 |
Experimental type provider for Amazon S3 |
Apr 09, 2022 |
|
F# |
23 |
F# JSON Type Provider for Fable |
Jul 30, 2022 |
|
F# |
69 |
A type provider for regular expressions. |
Jun 08, 2022 |
|
PHP |
261 |
:no_entry_sign: :sparkles: :heavy_exclamation_mark: AOP-based strict type checks for PHP |
Aug 02, 2022 |
|
R |
1081 |
Text mining using tidy tools :sparkles::page_facing_up::sparkles: |
Sep 29, 2022 |
|
Common Lisp |
9 |
A portable type inference library for Common Lisp |
Aug 09, 2022 |
|
JetBrains MPS |
25 |
Type checking and logical inference for JetBrains MPS |
Jun 22, 2022 |
|
C |
2 |
Optimised type inference for simply-typed λ-calculus |
Mar 30, 2022 |
|
Racket |
7 |
Hindley-Milner type inference in Scheme, for Scheme |
Jun 14, 2023 |