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

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

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

msc-thesis Archived

TeX 0

Master thesis on Rational Homotopy Theory

msc thesis

Updated 2025-04-09 21:33:51 +02:00

bsc-thesis Archived

TeX 0

Bachelor thesis about the Dold-Kan correspondence

bsc thesis

Updated 2025-04-09 21:33:28 +02:00

rust-wasm

Rust 0

Playground for doing rust stuff in the browser

graphics

Updated 2025-04-09 21:31:59 +02:00