Collections of smt problems

Updated 10 months ago

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

Updated 1 year ago

Tool to apply Fourier transforms on numbers

Updated 1 year ago

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

Updated 1 year ago

joshua / coalgebra-homework Archived
Haskell 0 0

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

Updated 1 year ago

Lua scripts for the computercraft mod for minecraft

Updated 1 year ago

joshua / it-works Archived
C++ 0 0

Collection of C++ snippets

Updated 1 year ago

Tilings of the plane with unit area triangles of bounded diameter

Updated 1 year ago

Minimisation of automata in Haskell (small project)

Updated 1 year ago

joshua / automata-reader Archived
HTML 0 0

Parsing automata in Haskell (small project)

Updated 1 year ago

joshua / beats-sim Archived
C++ 0 0

Simulation of the Gravity Beats app

Updated 1 year ago

joshua / beats-website Archived
JavaScript 0 0

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

Updated 1 year ago

joshua / beats-server Archived
C++ 0 0

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

Updated 1 year ago

joshua / apple-fractal Archived
Objective-C 0 0

Simple Mandelbrot fractal for OSX and iOS

Updated 1 year ago

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

Updated 1 year ago

joshua / cellomata Archived
Elm 0 0

Cellular automata in Elm

Updated 1 year ago

joshua / compress Archived
C++ 0 0

jcmp: My image compression format (w/ wavelets)

Updated 6 months ago

joshua / video-generation Archived
Objective-C 0 0

Learning OS X frameworks for saving movies programmatically.

Updated 1 year ago

Making mosaic images with ffmpeg

Updated 6 months ago

joshua / image-streams Archived
C++ 0 0

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

Updated 1 year ago