Tim Baumann

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

svd-image-compression-demo. Demonstration of low rank matrix approximations via singular value decomposition

sketchup-threejs. [OBSOLETE] Export your Google SketchUp models to web page using three.js

aeson-schema. [OBSOLETE] Haskell JSON schema validator and parser generator

uni-spicker. Summaries of my university courses (in German)

node-ardrone. [UNMAINTAINED] Control you Parrot AR.Drone from node

tlpi-exercises. My solutions to the problems in "The Linux Programming Interface"

halma. Chinese Checkers Haskell library, GUI application and Telegram bot

diagrams-rubiks-cube. Haskell library for drawing the Rubik's Cube

node-ardrone-web. A web interface to control your Parrot AR.Drone

idris-pfds. Purely functional data structures in Idris

colortriangle. [UNMAINTAINED] HSL based color picker.

haskell-timsort. [OBSOLETE] An adaptive, stable, natural mergesort implemented on mutable vectors.

robot-karel. A clone of Robot Karol in JavaScript

dotfiles. My config files.

set-theory-prover. Simple LCF-style proof assistant for ZFC

operational-transformation. JavaScript implementation of Operational Transformation

bachelorarbeit. Der Satz von Serre über die Endlichkeit der Homotopiegruppen der Sphären (Bachelorarbeit)

eine. Clone of a popular card game

meisterhirn. clone of a popular board game

minesweeper-solver. Constraints-based algorithm for solving MineSweeper

pfds-visualizations. Visualization of purely functional queues 🚶🚶🚶

dtypes. Functors, Applicatives, Traversables etc. of kind (k -> *) -> *

MooSweeper. [OBSOLETE] Costumizable Minesweeper clone for MooTools.

tagged-union. Haskell

presentations. HTML

telegram-sendmessage. Using the Telegram Bot API to send messages to myself

CodeMirror. In-browser code editor

backbone.couchdb.js. JavaScript

math-ide. TypeScript

data. Data Manipulation and Graph Persistence for Node.js and the Browser

haskell-telegram-api. Telegram Bot API for Haskell

reroute-talk. Talk about type-safe routing with reroute presented at Curry Club Augsburg

tree. multiplayer notepad!

pizzaseminar. Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany

emacs-starter-kit. My emacs configuration

HoTT-Agda. Development of homotopy type theory in Agda

node.couchapp.js. Utility for writing couchapps.

SetDifferenceEstimator. estimate the difference between distributed sets

dropbox-sdk-haskell. The beginnings of a Dropbox API for Haskell (unofficial).

mathezirkel-kurs. TeX

informatikheft. Meine Mitschriften