|
F# |
2 |
s-expression parser, type checker, reference AST semantics |
Aug 18, 2019 |
|
Haskell |
9 |
sql parser and type checker in haskell |
Jan 09, 2023 |
|
Java |
7 |
Used interface, abstract and MERNİS checker. |
Nov 19, 2021 |
|
Go |
7 |
A PromQL parser/type-checker/linter in GitHub Actions/CLI |
Mar 28, 2023 |
|
JavaScript |
2 |
A featherweight markdown parser that's easy to extend |
Mar 19, 2022 |
|
OCaml |
26 |
Fωμ type checker and compiler |
Aug 10, 2022 |
|
Haskell |
2 |
Compiler and type-checker experiments |
Aug 13, 2019 |
|
Rust |
5 |
NAAM: Nox's Abstract Abstract Machine |
Jan 29, 2021 |
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
Coq |
33 |
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and … |
Mar 16, 2023 |
|
Haskell |
2 |
A type checker monad and combinators |
Dec 05, 2019 |
|
Rust |
16 |
WIP: Python Type Checker and LSP |
Apr 30, 2023 |
|
Python |
6 |
An experimental attempt to abstract away async/await semantics |
Aug 14, 2021 |
|
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 |
|
Scala |
63 |
Abstract Type Member Parallel Instances |
Jan 30, 2023 |
|
Shell |
4 |
Microsoft PE executable type detector |
Aug 18, 2015 |
|
Prolog |
4 |
Type and syntax checker reporting using metainterpretation. |
Sep 08, 2020 |
|
None |
5 |
Executable Specification of Pi-Calculus with Reduction Semantics in Maude. |
Jul 08, 2022 |
|
C# |
4 |
Proxy parser and checker written in C# |
Dec 11, 2022 |
|
Scala |
25 |
JVM Abstracting Abstract Machine |
Mar 16, 2023 |
|
Ruby |
23 |
A type coercion lib works with Sorbet's static type checker and type definitions |
Aug 10, 2022 |
|
Lua |
22 |
Lua parser and abstract syntax tree in Lua |
Jul 22, 2022 |
|
C++ |
1911 |
SLING - A natural language frame semantics parser |
Jul 31, 2022 |
|
C++ |
133 |
SLING - A natural language frame semantics parser |
May 08, 2023 |
|
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 |
|
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 |
|
JavaScript |
4 |
🦠 Proxy parser & proxy checker |
Jun 14, 2022 |
|
Python |
3 |
tiny abstract data type on python |
Aug 13, 2019 |
|
Julia |
42 |
Tensor algebra abstract type interoperability setup |
Apr 17, 2023 |
|
None |
5 |
A metamodel to support Executable UML based on Shlaer-Mellor semantics |
Apr 06, 2023 |
|
JavaScript |
3 |
A GLSL type checker and minifier for WebGL |
Dec 18, 2021 |
|
Rust |
165 |
🌴 Type Checker and IDE Support for Lua |
Jan 27, 2023 |
|
PHP |
2 |
An abstract parser written in PHP |
Feb 10, 2023 |
|
Haskell |
2 |
Portable Executable parser (not yet complete) |
Mar 13, 2022 |
|
Go |
35 |
A Portable Executable parser for Golang |
Jun 26, 2022 |