Word count for text files, for bigrams, trigrams, etc...
Updated 2025-04-09 21:35:36 +02:00
Learning OS X frameworks for saving movies programmatically.
Updated 2025-04-09 21:09:01 +02:00
Tilings of the plane with unit area triangles of bounded diameter
Updated 2025-04-09 10:22:55 +02:00
Music to spectrogram on iOS with the accelerate framework
Updated 2025-04-09 21:16:19 +02:00
Music to spectrogram with fftw3
Updated 2025-04-09 21:16:42 +02:00
Collections of smt problems
Updated 2025-04-09 21:38:56 +02:00
A sky roads like game with interesting shaders
Updated 2025-04-09 21:21:22 +02:00
Simple threading facilities for C++, inspired by the book by Williams
Updated 2025-04-09 10:20:57 +02:00
Using SAT solvers to construct UIOs and ADSs
Updated 2022-04-11 14:35:56 +02:00
Puzzle based on sandpiles / abelian groups
Updated 2025-04-09 10:19:06 +02:00
Playground for doing rust stuff in the browser
Updated 2025-04-09 21:31:59 +02:00
Mathematical keyboard replacements for MacOS
Updated 2025-04-09 21:37:33 +02:00
Templated puzzle wuzzle generator
Updated 2025-04-09 21:09:39 +02:00
PhD thesis on: Nominal Techniques and Black Box Testing for Automata Learning
Updated 2025-04-09 21:34:25 +02:00
Mandelbrot in OpenGL and something else in OpenCL
Updated 2025-04-09 21:14:50 +02:00
(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell
Updated 2024-11-25 11:20:35 +01:00
C++ wrapper for NSView/GLView and mac stuff
Updated 2025-04-09 21:22:27 +02:00
Code for "Learning nominal automata"
Updated 2024-10-18 16:36:36 +02:00
Scores
Updated 2025-04-09 21:37:14 +02:00
Master thesis on Rational Homotopy Theory
Updated 2025-04-09 21:33:51 +02:00