Explore Projects
Discover 9 open source projects
Showing 1-9 of 9 projects
type-challenges/type-challenges
TypeScript type challenges with online judge
ronami/HypeScript
A simplified implementation of TypeScript's type system, built using TypeScript's type system itself.
brimdata/zui
Zui is a powerful desktop app for exploring and working with data, with support for CSV, JSON, and the Zed data format.
typedgrammar/typed-japanese
A TypeScript library for learning Japanese grammar through type-level programming and DSLs.
tomprimozic/type-systems
A library of type system implementations in OCaml for developers interested in programming language theory.
ronami/meta-typing
A TypeScript library that implements various algorithms and functions using the TypeScript type system.
hirrolot/datatype99
Algebraic data types for C99, providing a powerful type system and pattern matching capabilities.
hashintel/hash
An open-source, multi-tenant, self-building knowledge graph for developers building with AI tools.
pschanely/CrossHair
CrossHair is a static and dynamic analysis tool for Python that blends testing and type systems.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.