Discover @timjb Open Source projects

Tim Baumann (@timjb)

timjb

Stars
488
Global Rank 58,887 (Top 3 %)
Followers 196
Following 172
Registered about 15 years ago
Most used languages

JavaScript
32.1 %

Haskell
28.6 %

TeX
10.7 %

TypeScript
7.1 %

Idris 7.1 %

Ruby
3.6 %

Vim Script
3.6 %

C
3.6 %

HTML
3.6 %
Location 🇩🇪 Germany
Country Total Rank 3,113
Country Ranking

Idris 1

Haskell
65

TeX
160

Vim Script
219

Ruby
426

TypeScript
1,045

C
1,509

JavaScript
1,889

HTML
4,567

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

node-ardrone-web

A web interface to control your Parrot AR.Drone

diagrams-rubiks-cube

Haskell library for drawing the Rubik's Cube

colortriangle

[UNMAINTAINED] HSL based color picker.

haskell-timsort

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

idris-pfds

Purely functional data structures in Idris

robot-karel

A clone of Robot Karol in JavaScript

dotfiles

My config files.

set-theory-prover

Simple LCF-style proof assistant for ZFC

bachelorarbeit

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

pfds-visualizations

Visualization of purely functional queues 🚶🚶🚶

dtypes

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

meisterhirn

clone of a popular board game

eine

Clone of a popular card game

minesweeper-solver

Constraints-based algorithm for solving MineSweeper

telegram-sendmessage

Using the Telegram Bot API to send messages to myself

MooSweeper

[OBSOLETE] Costumizable Minesweeper clone for MooTools.

tagged-union

presentations

alphacolor

[OBSOLETE] CSS-Hack to get cross-browser semi-transparent backgrounds

mathezirkel-kurs

reroute-talk

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

informatikheft

Meine Mitschriften

math-ide