Joshua Moerman joshua

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

C++ 0 0

Tool to apply Fourier transforms on numbers

Updated 3 years ago

C++ 0 0

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

0 0

Lua scripts for the computercraft mod for minecraft

Updated 3 years ago

it-works
Archived
C++ 0 0

Collection of C++ snippets

Updated 3 years ago

C++ 0 0

Tilings of the plane with unit area triangles of bounded diameter

Updated 3 years ago

Haskell 0 0

Minimisation of automata in Haskell (small project)

Updated 3 years ago

HTML 0 0

Parsing automata in Haskell (small project)

Updated 3 years ago

beats-sim
Archived
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

C++ 0 0

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

Updated 3 years ago