Collections of smt problems
Updated 2 years ago
Playing around with genetic programming. Program will make a formula which approximates the input sequence.
Updated 4 years ago
Tool to apply Fourier transforms on numbers
Updated 4 years ago
Simple threading facilities for C++, inspired by the book by Williams
Updated 4 years ago
Some simple things to help me with my homework and to play around with Haskell.
Updated 4 years ago
Lua scripts for the computercraft mod for minecraft
Updated 4 years ago
Collection of C++ snippets
Updated 4 years ago
Tilings of the plane with unit area triangles of bounded diameter
Updated 4 years ago
Minimisation of automata in Haskell (small project)
Updated 4 years ago
Parsing automata in Haskell (small project)
Updated 4 years ago
Simulation of the Gravity Beats app
Updated 4 years ago
Multi-user gravity beats for Sound of Science 2013 (website)
Updated 4 years ago
Multi-user gravity beats for Sound of Science 2013 (server)
Updated 4 years ago
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
Cellular automata in Elm
Updated 4 years ago
jcmp: My image compression format (w/ wavelets)
Updated 3 years ago
Learning OS X frameworks for saving movies programmatically.
Updated 4 years ago
Making mosaic images with ffmpeg
Updated 3 years ago
C++ library for streaming images (png/jpg/bmp)
Updated 4 years ago