Repository navigation
type-system
- Website
- Wikipedia
Collection of TypeScript type challenges with online judge
TypeDB: the power of programming, in your database
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A list of computer-science readings I recommend
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
🌸 Learn Japanese grammar with TypeScript
📚 Functions and algorithms implemented purely with TypeScript's type system
Algebraic data types for C99
🚀 The open-source, multi-tenant, self-building knowledge graph
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
A programming language designed for typescript type generation
Additional types and types adjusted utilities for TypeScript
Full-featured interfaces for C99
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
👾 Sokoban Game in Pure TypeScript Type System
Fire up your models with the flame 🔥
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.