Tim Baumann

@timjb

Interested in type theory, category theory and concurrent collaborative editing.

@TNG Technology Consulting GmbH Augsburg, Europe timbaumann.info On GitHub since September 2009

Published Tools

Total Stars

Weekly Downloads

214

GitHub Followers

139

Public Repos

100/100

Avg Security

Published Tools

1 Skillacross 1 category

timjb

Collaborative editing using operational transformation

SkillAI Tool

1 dir