Collections of smt problems

Updated 9 months ago

Playing around with genetic programming. Program will make a formula which approximates the input sequence.

Updated 3 years ago

Tool to apply Fourier transforms on numbers

Updated 3 years ago

Simple threading facilities for C++, inspired by the book by Williams

Updated 3 years ago

Haskell 0 0

Some simple things to help me with my homework and to play around with Haskell.

Updated 3 years ago

Lua scripts for the computercraft mod for minecraft

Updated 3 years ago

C++ 0 0

Collection of C++ snippets

Updated 3 years ago

Tilings of the plane with unit area triangles of bounded diameter

Updated 3 years ago

Minimisation of automata in Haskell (small project)

Updated 3 years ago

HTML 0 0

Parsing automata in Haskell (small project)

Updated 3 years ago

C++ 0 0

Simulation of the Gravity Beats app

Updated 3 years ago

JavaScript 0 0

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

Updated 3 years ago

C++ 0 0

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

Updated 3 years ago

Objective-C 0 0

Simple Mandelbrot fractal for OSX and iOS

Updated 3 years ago

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

Updated 3 years ago

Elm 0 0

Cellular automata in Elm

Updated 3 years ago

C++ 0 0

jcmp: My image compression format (w/ wavelets)

Updated 1 year ago

Objective-C 0 0

Learning OS X frameworks for saving movies programmatically.

Updated 3 years ago

Making mosaic images with ffmpeg

Updated 1 year ago

C++ 0 0

C++ library for streaming images (png/jpg/bmp)

Updated 3 years ago