- Utrecht region
- https://joshuamoerman.nl
- Joined on
2025-04-08
(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
Kleine demo hoe je d3 kan gebruiken voor FSMs en bisimulatie. https://dingen.joshuamoerman.nl/fsm-diff-vis/
Updated 2024-12-11 13:48:32 +01:00
genetic-sequence-formulizer
Archived
Playing around with genetic programming. Program will make a formula which approximates the input sequence.
Updated 2025-04-09 10:19:28 +02:00
fourier-transform
Archived
Tool to apply Fourier transforms on numbers
Updated 2025-04-09 10:20:13 +02:00
simple-threading
Archived
Simple threading facilities for C++, inspired by the book by Williams
Updated 2025-04-09 10:20:57 +02:00
computer-craft
Archived
Lua scripts for the computercraft mod for minecraft
Updated 2025-04-09 10:22:05 +02:00
automata-minimisation
Archived
Minimisation of automata in Haskell (small project)
Updated 2025-04-09 20:55:54 +02:00