Amir Naseredini's repositories
alarm
ALARM: Active LeArning of Rowhammer Mitigations
Language:JavaNOASSERTION000
Discourse2Jira
a script for automatically creating jira issues from discourse topics
Language:Python000
gravy-overflow
A GitHub Actions Supply Chain CTF / Goat
Language:JavaScriptGPL-3.0000
Language:Python000
learnlib
A free, open-source Java library for automata learning algorithms
Language:JavaApache-2.0000
Language:JavaScript000
tapl
TAPL implementation in Haskell
Language:Haskell000