Collection of TypeScript type challenges with online judge
TypeDB: the polymorphic database powered by types
Building a modern functional compiler from first principles. (http://dev...
A list of computer-science readings I recommend
Zui is a powerful desktop application for exploring and working with dat...
📚 Functions and algorithms implemented purely with TypeScript's type sy...
Algebraic data types for C99
A friendly little systems language with first-class types. Very WIP! 🚧 ...
A Gradual type system for Erlang
👾 Sokoban Game in Pure TypeScript Type System
Full-featured interfaces for C99
Fire up your models with the flame 🔥
A type-level implementation of Smallfuck in Rust, doubling as a Turing-c...
TypeQL: the polymorphic query language of TypeDB
🌳 A tiny language interpreter implemented purely in TypeScript's type-s...