Type System GitHub Repositories

Collection of TypeScript type challenges with online judge

TypeDB: Built for systems, not records

A list of computer-science readings I recommend

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

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

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

🌸 Learn Japanese grammar with TypeScript

🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation

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

Algebraic data types for C99

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

A Gradual type system for Erlang

A menagerie of cute implementations of modern typechecking algorithms

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

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

TypeQL: Built for systems, not records

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

Type System for Data Analysis in Python

A strongly-typed, polyglot compiler

Fearless hardware design

C17-based extended standard library, cross-language type system, and unit testing framework targeting Dreamcast, Gamecube, PSP, PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.

An ML-like statically-typed Erlang

A safer complement of R, the legendary programming language for statistic and datasciences !

Cicada Language (solo version)

Parser Combinators in the TypeScript Type System

A toy language based on LLVM that implements the System Fω type-system