Mathematical keyboard replacements for MacOS

Updated 2 years ago

Scores

Updated 2 years ago

Collections of smt problems

Updated 2 years ago

Making mosaic images with ffmpeg

Updated 3 years ago

C++ 0 0

jcmp: My image compression format (w/ wavelets)

Updated 3 years ago

Combinatorics in Haskell

Updated 3 years ago

TeX 0 0

Bachelor thesis about the Dold-Kan correspondence

Updated 3 years ago

TeX 0 0

Master thesis on Rational Homotopy Theory

Updated 3 years ago

C++ 0 0

Simulation of the Gravity Beats app

Updated 4 years ago

JavaScript 0 0

Multi-user gravity beats for Sound of Science 2013 (website)

Updated 4 years ago

C++ 0 0

Multi-user gravity beats for Sound of Science 2013 (server)

Updated 4 years ago

Objective-C 0 0

Simple Mandelbrot fractal for OSX and iOS

Updated 4 years ago

The prototype of Zen Zoom. Made on ubuntu, I guess.

Updated 4 years ago

Elm 0 0

Cellular automata in Elm

Updated 4 years ago

Objective-C 0 0

Learning OS X frameworks for saving movies programmatically.

Updated 4 years ago

C++ 0 0

Genetic generation of cars in a 2D environment

Updated 4 years ago

C++ 0 0

Very small OpenGL wrapper (before moggle was there)

Updated 4 years ago

Objective-C 0 0

Music to spectrogram on iOS with the accelerate framework

Updated 4 years ago

Objective-C 0 0

A sky roads like game with interesting shaders

Updated 4 years ago