type-system topic
type-challenges
Collection of TypeScript type challenges with online judge
HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
meta-typing
📚 Functions and algorithms implemented purely with TypeScript's type system
typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
datatype99
Algebraic data types for C99
interface99
Full-featured interfaces for C99
AbstractTensors.jl
Tensor algebra abstract type interoperability setup
DirectSum.jl
Tangent bundle, vector space and Submanifold definition
Gradualizer
A Gradual type system for Erlang
f-omega-mu
Fωμ type checker and compiler