|
Python |
2 |
Fine-tune SantaCoder for TypeScript Type Inference |
Aug 28, 2023 |
|
TypeScript |
3213 |
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference. |
Aug 22, 2022 |
|
None |
2 |
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference. |
Mar 08, 2023 |
|
TypeScript |
10851 |
TypeScript-first schema validation with static type inference |
Sep 01, 2022 |
|
None |
2 |
TypeScript-first schema validation with static type inference |
Jan 06, 2023 |
|
None |
2 |
TypeScript-first schema validation with static type inference |
Jan 31, 2022 |
|
TypeScript |
19 |
TypeScript-first FaunaDB client with static type inference. |
Nov 18, 2022 |
|
None |
2 |
TypeScript-first schema validation with static type inference |
Mar 10, 2023 |
|
Haskell |
24 |
Generic unification-based type inference library |
Apr 01, 2023 |
|
TypeScript |
5 |
Extra minimal TypeScript implementation of Hindley-Milner type inference |
May 09, 2023 |
|
TypeScript |
2 |
TypeScript Type Guard Library. |
Oct 15, 2020 |
|
Haskell |
2 |
Bidirectional type inference with wildcards, or "unidirectional type inference" |
Dec 05, 2019 |
|
Jupyter Notebook |
26 |
Probabilistic type inference |
May 21, 2022 |
|
Julia |
12 |
maintainable type inference |
Apr 19, 2023 |
|
Common Lisp |
9 |
A portable type inference library for Common Lisp |
Aug 09, 2022 |
|
Haskell |
78 |
Haskell PostgreSQL library with compile-time type inference |
Apr 15, 2023 |
|
TypeScript |
36 |
🥾 A type-safe pattern builder & route matching library written in TypeScript |
Apr 10, 2023 |
|
TypeScript |
3 |
Type-safe LDAP client written in typescript |
Sep 10, 2022 |
|
F# |
2 |
A graph based approach to type inference written in F# |
Dec 22, 2023 |
|
TypeScript |
49 |
Type safe mocking library for TypeScript |
Jun 15, 2022 |
|
TypeScript |
2 |
Typescript type testing and validation library |
Sep 30, 2021 |
|
TypeScript |
14 |
Type-safe SPARQL query builder written in TypeScript |
Feb 13, 2023 |
|
TypeScript |
94 |
a type checker for typescript written Vue components |
Aug 01, 2022 |
|
TypeScript |
20 |
A JSON parser written with TypeScript type system. |
Dec 31, 2022 |
|
TypeScript |
85 |
Node.js ORM written in TypeScript for type lovers. |
May 03, 2023 |
|
Clojure |
5 |
Hindley-Milner type inference. |
Oct 09, 2020 |
|
JavaScript |
2 |
type inference for js |
Jan 08, 2018 |
|
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 |
|
OCaml |
4 |
Type inference engine for Ruby |
Jun 26, 2022 |
|
TypeScript |
15 |
Declarative, typed, pattern matching library for React.js, with smart type inference. |
Mar 11, 2023 |
|
TypeScript |
2 |
Simple TypeScript library for type and value checks. |
Aug 12, 2020 |
|
TypeScript |
139 |
A type-safe bidirectional routing library for TypeScript |
Aug 13, 2022 |
|
TypeScript |
653 |
yet another Typescript type library for advanced types |
May 06, 2023 |
|
TypeScript |
3 |
📚Type of library operating system with typescript. |
Mar 11, 2023 |
|
Swift |
2 |
A MIME type library written for Swift |
Mar 08, 2023 |
|
TypeScript |
10 |
Technical analysis library written in TypeScript. |
Apr 03, 2022 |
|
TypeScript |
3 |
MeCab client library written in TypeScript |
Jun 23, 2022 |
|
TypeScript |
4 |
Editable mindmap library written in TypeScript |
Aug 15, 2022 |
|
OCaml |
348 |
The Hindley Milner Type Inference Algorithm |
Jul 27, 2022 |
|
Ruby |
2 |
Experiments with type inference in Ruby. |
Oct 22, 2019 |
|
Python |
6 |
Type inference for Machine Learning pipelines |
Oct 19, 2022 |
|
Standard ML |
73 |
A small implementation of type inference |
Feb 26, 2023 |
|
JavaScript |
16 |
DoctorJS--, simple type inference for JavaScript |
Mar 08, 2023 |
|
Haskell |
4 |
Classic Algorithm W for type inference. |
Feb 20, 2019 |
|
F# |
5 |
[WIP] a GADT type inference engine |
May 09, 2023 |
|
Haskell |
227 |
Classic Algorithm W for type inference. |
May 11, 2023 |
|
Prolog |
4 |
ML-style type inference in Prolog |
Jan 09, 2022 |