learn-tt

A collection of resources for learning type theory and type theory adjacent fiel

2166

3 months ago

tt

Simple and colorful test tools

Go8apache-2.0

6 months ago

assertgogolang

ebu-tt-d-xsd

9bsd-3-clause

3 years ago

irt-ebu-tt-d-application-samples

13apache-2.0

8 years ago

ebu-tt-live-toolkit

Toolkit for supporting the EBU-TT Live specification

Python25bsd-3-clause

last year

broadcastcaptioningcaptions

learn-tt

A collection of resources for learning type theory and type theory adjacent fiel

2166

3 months ago

tt

Simple and colorful test tools

Go8apache-2.0

6 months ago

assertgogolang

ebu-tt-d-xsd

9bsd-3-clause

3 years ago

irt-ebu-tt-d-application-samples

13apache-2.0

8 years ago

ebu-tt-live-toolkit

Toolkit for supporting the EBU-TT Live specification

Python25bsd-3-clause

last year

broadcastcaptioningcaptions