Repositories Users Organizations
Filter
Sort
joshua/ hybrid-ads
C++ 0
(Mirror) Hybrid adaptive distinguishing sequences for FSM-based complete testing
Updated 2018-11-02 12:06:45 +01:00
joshua/ monoid-learner
Haskell 0
Learns a monoid with an L*-like algorithm
Updated 2021-07-29 14:54:52 +02:00
joshua/ 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
joshua/ 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
joshua/ 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
joshua/ smt-solving
SMT 0
Collections of smt problems
maths
Updated 2025-04-09 21:38:56 +02:00
joshua/ replacements
Haskell 0
Mathematical keyboard replacements for MacOS
Updated 2025-04-09 21:37:33 +02:00
joshua/ music
0
Scores
Updated 2025-04-09 21:37:14 +02:00
joshua/ counting
Haskell 0
Combinatorics in Haskell
maths
Updated 2025-04-09 21:36:53 +02:00
joshua/ automata
Haskell 0
Code for generating all kinds of automata
automata research
Updated 2025-04-09 21:36:07 +02:00
joshua/ word-parse Archived
Haskell 0
Word count for text files, for bigrams, trigrams, etc...
Updated 2025-04-09 21:35:36 +02:00
joshua/ 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
joshua/ msc-thesis Archived
TeX 0
Master thesis on Rational Homotopy Theory
msc thesis
Updated 2025-04-09 21:33:51 +02:00
joshua/ bsc-thesis Archived
TeX 0
Bachelor thesis about the Dold-Kan correspondence
bsc thesis
Updated 2025-04-09 21:33:28 +02:00
joshua/ rust-wasm
Rust 0
Playground for doing rust stuff in the browser
graphics
Updated 2025-04-09 21:31:59 +02:00
joshua/ bisimulation-online
HTML 0
April fools website
www
Updated 2025-04-09 21:31:16 +02:00
joshua/ ffmpegpp Archived
C++ 0
Ambitious plan to make a safe c++ wrapper around ffmpeg. Abandoned, because impossible.
Updated 2025-04-09 21:30:52 +02:00
joshua/ awesome-attractor Archived
C++ 0
My old project for strange attractors
graphics
Updated 2025-04-09 21:24:05 +02:00
joshua/ awesome-attractor-nd Archived
C++ 0
My old project for strange attractors, new approach
graphics
Updated 2025-04-09 21:23:33 +02:00
joshua/ jgl-template Archived
Objective-C 0
Old Xcode template for an iOS/OpenGL thingy
Updated 2025-04-09 21:23:11 +02:00