rasofema

She/They | Computer Science Student @ UCL

Pinned Repositories

AdventOfCode2020
Language:Python10
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
Language:Java00
comp0012-coursework1
Language:C02
L-star-Algorithm
Language:Python10
learnlib
A free, open-source Java library for automata learning algorithms
Language:Java00
MusicBoxMaker
Language:G-code00
openinput-protocol
OpenInput protocol specification
Language:Python00
PROGNOSIS
Code and resources for model learning of network protocol implementations
Language:Rust00
PROGNOSIS-learner
Language:Java00
WATCOP
ELEC0017 Team 12
Language:C++1 1 50

rasofema's Repositories

rasofema/AdventOfCode2020
Language:Python10
rasofema/L-star-Algorithm
Language:Python10
rasofema/WATCOP
ELEC0017 Team 12
Language:C++1 1 50
rasofema/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
Language:Java00
rasofema/comp0012-coursework1
Language:C02
rasofema/learnlib
A free, open-source Java library for automata learning algorithms
Language:Java00
rasofema/MusicBoxMaker
Language:G-code00
rasofema/openinput-protocol
OpenInput protocol specification
Language:Python00
rasofema/PROGNOSIS
Code and resources for model learning of network protocol implementations
Language:Rust00
rasofema/PROGNOSIS-learner
Language:Java00
rasofema/rasofema.github.io
Language:Ruby00
rasofema/ralib
Language:Java