Repositories Users Organizations
Filter
Sort
joshua/ word-parse Archived
Haskell 0
Word count for text files, for bigrams, trigrams, etc...
Updated 2025-04-09 21:35:36 +02:00
joshua/ video-generation Archived
Objective-C 0
Learning OS X frameworks for saving movies programmatically.
graphics
Updated 2025-04-09 21:09:01 +02:00
joshua/ triangles Archived
C++ 0
Tilings of the plane with unit area triangles of bounded diameter
graphics
Updated 2025-04-09 10:22:55 +02:00
joshua/ spectogram-prototype Archived
Objective-C 0
Music to spectrogram on iOS with the accelerate framework
Updated 2025-04-09 21:16:19 +02:00
joshua/ spectogram Archived
C++ 0
Music to spectrogram with fftw3
Updated 2025-04-09 21:16:42 +02:00
joshua/ smt-solving
SMT 0
Collections of smt problems
maths
Updated 2025-04-09 21:38:56 +02:00
joshua/ sky-roads Archived
Objective-C 0
A sky roads like game with interesting shaders
graphics
Updated 2025-04-09 21:21:22 +02:00
joshua/ simple-threading Archived
C++ 0
Simple threading facilities for C++, inspired by the book by Williams
Updated 2025-04-09 10:20:57 +02:00
joshua/ satuio
Python 0
Using SAT solvers to construct UIOs and ADSs
finite-state-machine sat-solver testing-tools
Updated 2022-04-11 14:35:56 +02:00
joshua/ sandpiles Archived
HTML 0
Puzzle based on sandpiles / abelian groups
puzzle
Updated 2025-04-09 10:19:06 +02:00
joshua/ rust-wasm
Rust 0
Playground for doing rust stuff in the browser
graphics
Updated 2025-04-09 21:31:59 +02:00
joshua/ replacements
Haskell 0
Mathematical keyboard replacements for MacOS
Updated 2025-04-09 21:37:33 +02:00
joshua/ puzzle-wuzzle-generator Archived
C++ 0
Templated puzzle wuzzle generator
puzzle
Updated 2025-04-09 21:09:39 +02:00
joshua/ phd-thesis Archived
TeX 0
PhD thesis on: Nominal Techniques and Black Box Testing for Automata Learning
phd thesis
Updated 2025-04-09 21:34:25 +02:00
joshua/ opencl-experiment Archived
C++ 0
Mandelbrot in OpenGL and something else in OpenCL
graphics
Updated 2025-04-09 21:14:50 +02:00
joshua/ ons-hs
Haskell 0
(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell
mirror research
Updated 2024-11-25 11:20:35 +01:00
joshua/ ns-app-wrapper Archived
Objective-C++ 0
C++ wrapper for NSView/GLView and mac stuff
Updated 2025-04-09 21:22:27 +02:00
joshua/ nominal-lstar
Haskell 0
Code for "Learning nominal automata"
automata haskell machine-learning nlambda paper regular-languages
Updated 2024-10-18 16:36:36 +02:00
joshua/ music
0
Scores
Updated 2025-04-09 21:37:14 +02:00
joshua/ msc-thesis Archived
TeX 0
Master thesis on Rational Homotopy Theory
msc thesis
Updated 2025-04-09 21:33:51 +02:00