Collection of TypeScript type challenges with online judge

• UpdatedJul 7, 2025
• TypeScript

TypeDB: the power of programming, in your database

• UpdatedJul 11, 2025
• Rust

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

• UpdatedJan 11, 2021
• Haskell

A list of computer-science readings I recommend

• UpdatedAug 30, 2022

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

• UpdatedFeb 7, 2025
• TypeScript

Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.

• UpdatedJul 18, 2025
• TypeScript

🌸 Learn Japanese grammar with TypeScript

• UpdatedMar 29, 2025
• TypeScript

📚 Functions and algorithms implemented purely with TypeScript's type system

• UpdatedDec 5, 2022
• TypeScript

Algebraic data types for C99

• UpdatedMar 17, 2025
• C

🚀 The open-source, multi-tenant, self-building knowledge graph

• UpdatedJul 18, 2025
• TypeScript

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

• UpdatedMay 16, 2021
• Rust

A Gradual type system for Erlang

• UpdatedApr 23, 2025
• Erlang

A programming language designed for typescript type generation

• UpdatedJun 4, 2022
• TypeScript

Additional types and types adjusted utilities for TypeScript

• UpdatedJul 17, 2025
• TypeScript

Full-featured interfaces for C99

• UpdatedMar 17, 2025
• C

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

• UpdatedOct 28, 2020
• TypeScript

👾 Sokoban Game in Pure TypeScript Type System

• UpdatedNov 5, 2021
• TypeScript

Fire up your models with the flame 🔥

• UpdatedJun 25, 2025
• Python

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

• UpdatedSep 6, 2023
• Rust

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

• UpdatedApr 3, 2017
• Rust