Joshua Moerman

hybrid-ads

C++ 0

(Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing

Updated 2018-11-02 12:06:45 +01:00

monoid-learner

Haskell 0

Learns a monoid with an L*-like algorithm

Updated 2021-07-29 14:54:52 +02:00

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

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

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

fsm-diff-vis

HTML 0

Kleine demo hoe je d3 kan gebruiken voor FSMs en bisimulatie. https://dingen.joshuamoerman.nl/fsm-diff-vis/

Automata Javascript

Updated 2024-12-11 13:48:32 +01:00

puzzels

Python 0

Updated 2025-01-29 10:29:53 +01:00

sandpiles Archived

HTML 0

Puzzle based on sandpiles / abelian groups

puzzle

Updated 2025-04-09 10:19:06 +02:00

genetic-sequence-formulizer Archived

C++ 0

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

C++ 0

Tool to apply Fourier transforms on numbers

Updated 2025-04-09 10:20:13 +02:00

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

computer-craft Archived

0

Lua scripts for the computercraft mod for minecraft

Updated 2025-04-09 10:22:05 +02:00

it-works Archived

C++ 0

Collection of C++ snippets

Updated 2025-04-09 10:22:30 +02:00

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

automata-minimisation Archived

Haskell 0

Minimisation of automata in Haskell (small project)

automata

Updated 2025-04-09 20:55:54 +02:00