Joshua Moerman joshua · any pronouns
0 followers · 0 following
Repositories
56
 Projects Packages Public activity Watched repositories
Filter
Sort
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
puzzels
Python 0
Updated 2025-01-29 10:29:53 +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
mealy-decompose
Haskell 0
Tools to decompose finite state machines.
Automata Haskell Python
Updated 2025-05-07 16:53:49 +02:00
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
smt-solving
SMT 0
Collections of smt problems
maths
Updated 2025-04-09 21:38:56 +02:00
replacements
Haskell 0
Mathematical keyboard replacements for MacOS
Updated 2025-04-09 21:37:33 +02:00
music
0
Scores
Updated 2025-04-09 21:37:14 +02:00
counting
Haskell 0
Combinatorics in Haskell
maths
Updated 2025-04-09 21:36:53 +02:00
automata
Haskell 0
Code for generating all kinds of automata
automata research
Updated 2025-04-09 21:36:07 +02:00
word-parse Archived
Haskell 0
Word count for text files, for bigrams, trigrams, etc...
Updated 2025-04-09 21:35:36 +02:00