|
|
OCaml |
2 |
Minimal implementations for dependent type checking and elaboration, in OCaml. |
Jul 02, 2023 |
|
|
OCaml |
77 |
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory. |
Aug 02, 2022 |
|
|
OCaml |
7 |
Minimal core language based on dependent function type, dependent pair type, recursive type, sum type … |
Feb 19, 2023 |
|
|
JavaScript |
223 |
Minimal JavaScript type checking library |
Dec 21, 2022 |
|
|
Lean |
440 |
Demo for high-performance type theory elaboration |
Apr 26, 2023 |
|
|
Haskell |
6 |
A type checker for a dependent type theory. |
May 25, 2020 |
|
|
JavaScript |
1903 |
Type checking and DDD for JavaScript |
Aug 01, 2022 |
|
|
Coq |
20 |
Graded Dependent Type systems |
Sep 27, 2022 |
|
|
Haskell |
10 |
Simple Dependent Type Checker |
Apr 26, 2023 |
|
|
AutoHotkey |
6 |
Type Checking for AutoHotkey |
Mar 31, 2023 |
|
|
Objective-C++ |
5 |
Metamath database for dependent type theory |
May 12, 2022 |
|
|
TypeScript |
13 |
runtime type checking and documentation |
Apr 28, 2020 |
|
|
None |
2 |
An experimental type checker for a dependent type theory. |
Oct 11, 2021 |
|
|
Ruby |
281 |
Type checking and type casting of parameters for Action Pack |
Jul 27, 2022 |
|
|
JavaScript |
80 |
Simple type checking. |
May 10, 2022 |
|
|
OCaml |
106 |
An experimental type checker for a modal dependent type theory. |
Jan 29, 2023 |
|
|
Java |
844 |
Pluggable type-checking for Java |
Aug 26, 2022 |
|
|
OCaml |
6022 |
Performant type-checking for python. |
Aug 31, 2022 |
|
|
Java |
2 |
Pluggable type-checking for Java |
Sep 13, 2022 |
|
|
JavaScript |
113 |
complete type checking for node |
Nov 26, 2022 |
|
|
Java |
6 |
Pluggable type-checking for Java |
Mar 10, 2023 |
|
|
JavaScript |
78 |
Runtime type checking for JavaScript |
Sep 19, 2022 |
|
|
OCaml |
2 |
Performant type-checking for python. |
Nov 22, 2021 |
|
|
TypeScript |
2 |
Runtime type checking for TypeScript |
Oct 20, 2021 |
|
|
JavaScript |
56 |
Runtime type checking for JSDoc |
Jan 26, 2021 |
|
|
Haskell |
34 |
Compositional type checking for Haskell |
Oct 21, 2021 |
|
|
JavaScript |
2 |
Better type checking for JavaScript. |
Jan 28, 2023 |
|
|
Haskell |
2 |
A simple elaborator for dependent type theory |
Dec 28, 2021 |
|
|
Haskell |
49 |
Lambda normalization and conversion checking benchmarks for various implementations |
Feb 07, 2023 |
|
|
TypeScript |
8 |
Powerful and easy runtime type checking |
Aug 21, 2022 |
|
|
JetBrains MPS |
25 |
Type checking and logical inference for JetBrains MPS |
Jun 22, 2022 |
|
|
Scala |
18 |
WDL tools for parsing, type-checking, and more |
Dec 11, 2022 |
|
|
None |
4 |
functional type-dependent (very simple) language |
Feb 03, 2023 |
|
|
Haskell |
73 |
Tiny type-checker with dependent types |
Mar 16, 2023 |
|
|
Python |
135 |
Flake8 Type Annotation Checking |
May 12, 2023 |
|
|
Haskell |
11 |
Compositional type checking for a Hindley-Milner type system |
Oct 21, 2021 |
|
|
JavaScript |
5 |
Automatic Type-checking for JavaScript Functions! |
Mar 20, 2015 |
|
|
JavaScript |
41 |
Type checking for react-bootstrap [DEPRECATED] |
Feb 16, 2021 |
|
|
Python |
48 |
mypy static type checking for python |
May 04, 2022 |
|
|
JavaScript |
60 |
Runtime type-checking for JavaScript functions |
Apr 14, 2023 |
|
|
JavaScript |
17 |
Isomorphic, functional type-checking for Javascript |
Jan 24, 2022 |
|
|
PHP |
5 |
Simple, flexible type-checking for PHP. |
Jan 28, 2023 |
|
|
Ruby |
4 |
Lazy static type checking for ruby |
Mar 02, 2016 |
|
|
JavaScript |
4182 |
Runtime type checking for React props and similar objects |
Aug 11, 2022 |
|
|
None |
2 |
Runtime type checking for React props and similar objects |
Jul 30, 2020 |
|
|
Ruby |
5 |
Fast, easy, and simple runtime type checking for Ruby |
Apr 19, 2023 |
|
|
None |
2 |
Runtime type checking for React props and similar objects |
May 01, 2023 |
|
|
JavaScript |
20 |
Strong type-checking for dependency injection and method arguments. |
Sep 22, 2021 |
|
|
C++ |
95 |
Runtime type and bounds-error checking for C/C++ |
Jan 06, 2023 |
|
|
Haskell |
2 |
library for parsing, type checking and compiling harakiri language |
Jan 27, 2023 |