(Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing
Updated 2018-11-02 12:06:45 +01:00
Learns a monoid with an L*-like algorithm
Updated 2021-07-29 14:54:52 +02:00
Using SAT solvers to construct UIOs and ADSs
Updated 2022-04-11 14:35:56 +02:00
Code for "Learning nominal automata"
Updated 2024-10-18 16:36:36 +02:00
(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell
Updated 2024-11-25 11:20:35 +01:00
Puzzle based on sandpiles / abelian groups
Updated 2025-04-09 10:19:06 +02:00
Playing around with genetic programming. Program will make a formula which approximates the input sequence.
Updated 2025-04-09 10:19:28 +02:00
Tool to apply Fourier transforms on numbers
Updated 2025-04-09 10:20:13 +02:00
Simple threading facilities for C++, inspired by the book by Williams
Updated 2025-04-09 10:20:57 +02:00
Lua scripts for the computercraft mod for minecraft
Updated 2025-04-09 10:22:05 +02:00
Collection of C++ snippets
Updated 2025-04-09 10:22:30 +02:00
Tilings of the plane with unit area triangles of bounded diameter
Updated 2025-04-09 10:22:55 +02:00
Minimisation of automata in Haskell (small project)
Updated 2025-04-09 20:55:54 +02:00
Parsing automata in Haskell (small project)
Updated 2025-04-09 20:58:24 +02:00
Simulation of the Gravity Beats app
Updated 2025-04-09 21:02:39 +02:00
Multi-user gravity beats for Sound of Science 2013 (projected client w/ motor)
Updated 2025-04-09 21:02:58 +02:00
Multi-user gravity beats for Sound of Science 2013 (website)
Updated 2025-04-09 21:03:49 +02:00
Multi-user gravity beats for Sound of Science 2013 (server)
Updated 2025-04-09 21:04:44 +02:00
Simple Mandelbrot fractal for OSX and iOS
Updated 2025-04-09 21:05:21 +02:00
The prototype of Zen Zoom. Made on ubuntu, I guess.
Updated 2025-04-09 21:06:31 +02:00