TypeDB: the power of programming, in your database
A list of computer-science readings I recommend
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
#学习与技能提升#🐬 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 menagerie of cute implementations of modern typechecking algorithms
#学习与技能提升#🌳 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. 🚧