|
|
Rust |
4794 |
Speedy TypeScript type checker |
May 06, 2023 |
|
|
Rust |
3 |
Speedy TypeScript type checker |
Jan 31, 2023 |
|
|
None |
2 |
Speedy TypeScript type checker |
Mar 22, 2024 |
|
|
C++ |
3 |
Simple Type-Annotated Programming Language (WIP) |
Feb 17, 2023 |
|
|
Haskell |
10 |
Simple Dependent Type Checker |
Apr 26, 2023 |
|
|
TypeScript |
19 |
Relationship type checker functions for Typescript types. |
Sep 29, 2022 |
|
|
TypeScript |
86 |
Relationship type checker functions for Typescript types. |
Mar 14, 2023 |
|
|
TypeScript |
5 |
Experimental programming language loosely based on the TypeScript type system |
May 24, 2022 |
|
|
TypeScript |
3 |
Simple JavaScript object type checker. |
Oct 27, 2019 |
|
|
TypeScript |
3 |
Simple JavaScript data type checker. |
Nov 27, 2022 |
|
|
Scala |
16 |
A simple bidirectional type checker |
Mar 13, 2023 |
|
|
TypeScript |
13 |
Implementation of All ▲lgorithms in TypeScript Programming Language |
Oct 06, 2021 |
|
|
C++ |
68 |
Implementation of a simple programming language |
Mar 15, 2023 |
|
|
JavaScript |
10 |
A simple static type checker that enforces C-style programming in Julia |
May 07, 2023 |
|
|
TypeScript |
94 |
a type checker for typescript written Vue components |
Aug 01, 2022 |
|
|
None |
303 |
The fastest TypeScript type checker in the world |
May 02, 2023 |
|
|
TypeScript |
352 |
Type level programming in TypeScript |
Jul 31, 2022 |
|
|
C++ |
2 |
Quite simple Qt implementation of Telegram's Type Language |
Jan 12, 2015 |
|
|
C |
37 |
Simple String_View implementation for C programming language. |
Sep 05, 2022 |
|
|
JavaScript |
4 |
Short implementation of a simple programming language. |
Dec 09, 2021 |
|
|
Java |
353 |
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and … |
Apr 22, 2023 |
|
|
Python |
3 |
An implementation of a simple, tiny programming language |
Apr 22, 2020 |
|
|
Haskell |
3 |
type level programming that compiles to typescript. |
Jun 08, 2022 |
|
|
TypeScript |
2 |
Data Type Checker |
May 22, 2023 |
|
|
Java |
2 |
Implementation of a simple programming language (Easy) and run-time for learning programming language concepts |
Jan 28, 2023 |
|
|
TypeScript |
8 |
A lightning fast TypeScript type checker for Vue SFC Script tags |
Jan 10, 2022 |
|
|
TypeScript |
1695 |
Webpack plugin that runs typescript type checker on a separate process. |
Aug 15, 2022 |
|
|
Java |
3 |
Java implementation of a simple proof of concept interpreted programming language SLUG (Simple Language). |
Jul 11, 2022 |
|
|
Shell |
3 |
Programming language implementation benchmarks |
Aug 21, 2016 |
|
|
C# |
3 |
SPARD programming language implementation |
Nov 15, 2022 |
|
|
C |
14 |
Simple Programming Language |
Nov 27, 2022 |
|
|
Rust |
11 |
Simple programming language |
Nov 20, 2022 |
|
|
TypeScript |
2 |
A simple HTML5 Canvas snake game written in TypeScript programming language. |
Apr 21, 2022 |
|
|
Rust |
3 |
[WIP] Rust + TypeScript == 🚀 Programming Language |
Nov 21, 2022 |
|
|
TypeScript |
2 |
Programming language targeting JavaScript with Type Rewriting |
Apr 17, 2023 |
|
|
TypeScript |
12 |
TypeScript based Wollok language implementation |
Jun 02, 2022 |
|
|
TypeScript |
5 |
🚀 Rollup plugin that runs typescript type checker on a separate process. |
Jul 06, 2022 |
|
|
Haskell |
33 |
A bidirectional type checker |
Jul 16, 2022 |
|
|
JavaScript |
104 |
From scratch type-checker |
Feb 15, 2023 |
|
|
JavaScript |
11 |
Implementation of Quantitative Type Theory (in TypeScript) |
Apr 30, 2022 |
|
|
TypeScript |
3 |
Type-safe immutable list implementation in TypeScript |
Apr 25, 2021 |
|
|
Scala |
2 |
Simple, object-oriented, statically typed programming language and VM implementation. |
Aug 15, 2022 |
|
|
Rust |
10 |
Programming language implementation for learning |
Jul 20, 2022 |
|
|
Ruby |
4 |
comparing programming language implementation performance |
Jun 16, 2019 |
|
|
C++ |
134 |
Feral programming language reference implementation |
Feb 14, 2023 |
|
|
TypeScript |
3 |
SPL (Simple Programming Language), a friendly neighborhood programming language. |
Jan 06, 2022 |
|
|
C++ |
2 |
A simple programming language |
Jun 28, 2022 |
|
|
Rust |
2 |
Simple functional programming language |
Dec 30, 2020 |
|
|
OCaml |
2 |
A simple programming language |
Mar 08, 2021 |
|
|
Python |
2 |
Simple functional programming language |
Mar 18, 2014 |