timjb/uni-spicker
Summaries of my university courses (in German)
Developer Profile
timjb
Discovered public repositories for timjb in the GitHub catalog.
timjb/lightyear
Parser combinators for Idris
timjb/mathezirkel-kurs
Public repository.
timjb/quantities
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
timjb/mathezirkel
Public repository.
timjb/blog
The sources for my blog.
timjb/Idris-dev
A Dependently Typed Functional Programming Language
timjb/Elm
The Elm programming language aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.
timjb/HoTT-Agda
Development of homotopy type theory in Agda
timjb/fay-base
The base package for Fay.
timjb/linguist
Language Savant
timjb/lambda-calculus
formalization of lambda-calculus and combinator calculus in Coq and Agda2
timjb/pizzaseminar
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
timjb/heroku-buildpack-haskell
Heroku buildpack for Haskell
timjb/JSON-Schema-Test-Suite
A language agnostic test suite for the JSON Schema specifications
timjb/aeson-schema
[OBSOLETE] Haskell JSON schema validator and parser generator
timjb/dropbox-sdk-haskell
The beginnings of a Dropbox API for Haskell (unofficial).
timjb/presentations
Public repository.
timjb/tlpi-exercises
My solutions to the problems in "The Linux Programming Interface"
timjb/haskell-timsort
[OBSOLETE] An adaptive, stable, natural mergesort implemented on mutable vectors.
timjb/minesweeper-solver
Constraints-based algorithm for solving MineSweeper
timjb/tree
multiplayer notepad!
timjb/CodeMirror
In-browser code editor
timjb/operational-transformation
JavaScript implementation of Operational Transformation
timjb/data
Data Manipulation and Graph Persistence for Node.js and the Browser
timjb/eine
Clone of a popular card game
timjb/emacs-starter-kit
My emacs configuration
timjb/backbone.couchdb.js
Public repository.
timjb/node.couchapp.js
Utility for writing couchapps.
timjb/robot-karel
A clone of Robot Karol in JavaScript
timjb/informatikheft
Meine Mitschriften
timjb/node-ardrone-web
A web interface to control your Parrot AR.Drone
timjb/node-ardrone
[UNMAINTAINED] Control you Parrot AR.Drone from node
timjb/sketchup-threejs
[OBSOLETE] Export your Google SketchUp models to web page using three.js
timjb/meisterhirn
clone of a popular board game
timjb/alphacolor
[OBSOLETE] CSS-Hack to get cross-browser semi-transparent backgrounds
timjb/colortriangle
[UNMAINTAINED] HSL based color picker.
timjb/dotfiles
My config files.
timjb/MooTools-Enhanced-Printing
A small MooTools class for enhanced print layouts.
timjb/MooSweeper
[OBSOLETE] Costumizable Minesweeper clone for MooTools.