Repositories Users Organizations
Filter
Sort
joshua/ mealy-decompose
Haskell 0
Tools to decompose finite state machines.
Automata Haskell Python
Updated 2026-03-27 16:15:00 +01:00
joshua/ satuio
Python 0
Using SAT solvers to construct UIOs and ADSs
finite-state-machine sat-solver testing-tools
Updated 2026-01-05 16:34:36 +01:00
joshua/ puzzels-sat
Python 0
SAT dingen en puzzels
Updated 2026-01-04 20:46:21 +01:00
joshua/ diy-sonos-print
Typst 0
Boekje genereren voor de DIY sonos, met Typst
audio
Updated 2026-01-03 21:23:19 +01:00
joshua/ diy-sonos-local
Python 0
Lokale tests om de DIY sonos te testen. En scripts.
audio
Updated 2026-01-03 21:23:05 +01:00
joshua/ maizena Archived
C++ 0
C++ DaZeus something
Updated 2025-12-03 10:34:33 +01:00
joshua/ parallel-algorithms Archived
C++ 0
Homework for the course Parallel Algorithms
homework
Updated 2025-12-03 10:30:49 +01:00
joshua/ advanced-programming Archived
Clean 0
Homework for the course advanced programming (Clean programming language)
homework
Updated 2025-12-03 10:28:28 +01:00
joshua/ AedsHomework Archived
C++ 0
homework for aeds
homework
Updated 2025-12-03 10:27:06 +01:00
joshua/ text2png Archived
Roff 0
Converting text to PNG (character to pixel)
graphics
Updated 2025-12-03 10:26:44 +01:00
joshua/ gravity-pictures Archived
C++ 0
Using the Gravity Beats simulation to make pictures :D
graphics gravity-beats maths
Updated 2025-12-03 10:26:14 +01:00
joshua/ utf8-learner
Java 0
https://joshuamoerman.nl/2025/6/The-UTF-8-Automaton.html
Automata research
Updated 2025-06-13 13:21:37 +02:00
joshua/ smt-solving
SMT 0
Collections of smt problems
maths
Updated 2025-04-09 21:38:56 +02:00
joshua/ replacements
Haskell 0
Mathematical keyboard replacements for MacOS
Updated 2025-04-09 21:37:33 +02:00
joshua/ music
0
Scores
Updated 2025-04-09 21:37:14 +02:00
joshua/ counting
Haskell 0
Combinatorics in Haskell
maths
Updated 2025-04-09 21:36:53 +02:00
joshua/ automata
Haskell 0
Code for generating all kinds of automata
automata research
Updated 2025-04-09 21:36:07 +02:00
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/ 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/ msc-thesis Archived
TeX 0
Master thesis on Rational Homotopy Theory
msc thesis
Updated 2025-04-09 21:33:51 +02:00