type-system topic
List
type-system repositories
type-challenges
40.1k
Stars
4.3k
Forks
135
Watchers
Collection of TypeScript type challenges with online judge
HypeScript
1.9k
Stars
20
Forks
Watchers
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
meta-typing
1.5k
Stars
24
Forks
Watchers
📚 Functions and algorithms implemented purely with TypeScript's type system
typelang
210
Stars
0
Forks
Watchers
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
datatype99
794
Stars
17
Forks
Watchers
Algebraic data types for C99
interface99
266
Stars
12
Forks
Watchers
Full-featured interfaces for C99
AbstractTensors.jl
43
Stars
4
Forks
Watchers
Tensor algebra abstract type interoperability setup
DirectSum.jl
49
Stars
3
Forks
Watchers
Tangent bundle, vector space and Submanifold definition
Gradualizer
607
Stars
35
Forks
Watchers
A Gradual type system for Erlang
f-omega-mu
51
Stars
1
Forks
Watchers
Fωμ type checker and compiler