Tim Baumann

icon indicating a website link timbaumann.info icon indicating an email [email protected]

icon company @TNG Technology Consulting GmbH icon location Augsburg, Europe icon location Interested in type theory, category theory and concurrent collaborative editing.

Results 8 repositories owned by Tim Baumann

aeson-schema

35
Stars
8
Forks
Watchers

[OBSOLETE] Haskell JSON schema validator and parser generator

verified publisher icon timjb

quantities

157
Stars
11
Forks
Watchers

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

verified publisher icon timjb

halma

16
Stars
4
Forks
Watchers

Chinese Checkers Haskell library, GUI application and Telegram bot

verified publisher icon timjb

node-ardrone

20
Stars
5
Forks
Watchers

[UNMAINTAINED] Control you Parrot AR.Drone from node

verified publisher icon timjb

node-ardrone-web

16
Stars
4
Forks
Watchers

A web interface to control your Parrot AR.Drone

verified publisher icon timjb

uni-spicker

27
Stars
12
Forks
Watchers

Summaries of my university courses (in German)

verified publisher icon timjb

svd-image-compression-demo

45
Stars
7
Forks
Watchers

Demonstration of low rank matrix approximations via singular value decomposition

verified publisher icon timjb

diagrams-rubiks-cube

15
Stars
4
Forks
Watchers

Haskell library for drawing the Rubik's Cube

verified publisher icon timjb