Vasilios Mavroudis's repositories
plain-academic
A truly simple website template for academics
awesome-rl-for-cybersecurity
A curated list of resources dedicated to reinforcement learning applied to cyber security.
berachain-local
A complete Berachain development network containerized with Docker.
ciqdb
Connect IQ (PRG) parser and debugger
CTISum
The new dataset and baseline models for the paper CTISum: A New Benchmark Dataset For Cyber Threat Intelligence Summarization
nomination-candidates
Official whitelist collection of the Analog Community Validators
oasis-ssvm-paratime-entities
Oasis SSVM ParaTime Entity Packages
raiko
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
rl-blackjack
Assignment for Advanced RL Topics 2015 (COMPM050/COMPGI13)
rollapp-registry
A registry for RollApps
tensor-trust
A prompt injection game to collect data for robust ML research
translations-unofficial
Unofficial community-contributed translations of documentation/guides