type-system topic
List
type-system repositories
type-challenges
33.1k
Stars
3.5k
Forks
135
Watchers
Collection of TypeScript type challenges with online judge
HypeScript
1.8k
Stars
18
Forks
Watchers
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
meta-typing
936
Stars
17
Forks
Watchers
📚 Functions and algorithms implemented purely with TypeScript's type system
typelang
193
Stars
0
Forks
Watchers
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
datatype99
640
Stars
14
Forks
Watchers
Algebraic data types for C99
interface99
204
Stars
10
Forks
Watchers
Full-featured interfaces for C99
AbstractTensors.jl
37
Stars
4
Forks
Watchers
Tensor algebra abstract type interoperability setup
DirectSum.jl
43
Stars
3
Forks
Watchers
Tangent bundle / vector space category and functors
Gradualizer
515
Stars
27
Forks
Watchers
A Gradual type system for Erlang
f-omega-mu
44
Stars
1
Forks
Watchers
Fωμ type checker and compiler