(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
Mathematical keyboard replacements for MacOS
Updated 2025-04-09 21:37:33 +02:00
Word count for text files, for bigrams, trigrams, etc...
Updated 2025-04-09 21:35:36 +02:00
My old project for strange attractors
Updated 2025-04-09 21:24:05 +02:00
My old project for strange attractors, new approach
Updated 2025-04-09 21:23:33 +02:00
Old Xcode template for an iOS/OpenGL thingy
Updated 2025-04-09 21:23:11 +02:00