Collection of TypeScript type challenges with online judge
-
Updated
Jan 12, 2025 - TypeScript
#
type-system
Here are 29 public repositories matching this topic...
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
learning parser typescript functional-programming static-code-analysis example recursion type-system
-
Updated
Sep 16, 2024 - TypeScript
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
data csv data-viz data-analytics electron-app data-wrangling type-system zed json-inspector zui table-view keyword-search zq zng super-structured-data
-
Updated
Nov 14, 2024 - TypeScript
📚 Functions and algorithms implemented purely with TypeScript's type system
-
Updated
Dec 5, 2022 - TypeScript
🚀 The open-source, multi-tenant, self-building knowledge graph
-
Updated
Jan 17, 2025 - TypeScript
A programming language designed for typescript type generation
-
Updated
Jun 4, 2022 - TypeScript
Additional types and types adjusted utilities for TypeScript
-
Updated
Jan 13, 2025 - TypeScript
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
-
Updated
Oct 28, 2020 - TypeScript
👾 Sokoban Game in Pure TypeScript Type System
unicode typescript vscode visual-studio-code ascii-game sokoban string-literals type type-system sokoban-game typesystem compiletime typescript4 template-literal-types type-gymnastics
-
Updated
Nov 5, 2021 - TypeScript
Cicada Language (solo version)
language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory
-
Updated
Dec 25, 2024 - TypeScript
Cicada Language (PLCT little team)
language programming-language dependent-types repl type-theory type-system cicada prover interactive-theorem-proving theorem-prover dependent-record-types dependent-type-theory
-
Updated
Dec 25, 2024 - TypeScript
Parser Combinators in the TypeScript Type System
-
Updated
Nov 25, 2024 - TypeScript
A miniature model of the Typescript compiler
-
Updated
Jun 28, 2024 - TypeScript
A Domain Representation Language
-
Updated
Jul 26, 2020 - TypeScript
Data structures in TypeScript type system. A Map that maps types to types! Types are in the trees!
-
Updated
Jul 17, 2023 - TypeScript
Standard SDK is an open-source SDK that can integrate and interact with any API. It further facilitates interactions with multiple similar APIs through the use of abstractions similar to the common models presented by unified APIs.
javascript api typescript sdk integration api-client api-wrapper api-rest type-system unified-api common-model
-
Updated
Nov 8, 2023 - TypeScript
Notes and experiments from the book Programming with Types.
-
Updated
Apr 30, 2022 - TypeScript
A playground for developers to experiment with and validate their Standard Knowledge Language Schemas
-
Updated
Mar 15, 2023 - TypeScript
Sudoku game, implemented in the TypeScript type system
-
Updated
Jan 19, 2022 - TypeScript
Make TypeScript type system invariant
-
Updated
Oct 20, 2021 - TypeScript
Improve this page
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."