Pinned Repositories
competitive-programming
My solutions to a series of problems over a series of online judges
csjourney
My notes and study log about algorithms and computational problems
cv
:page_with_curl: My curriculum vitae
dap-verification
Formal verification of the DAP, a protocol for secure authorization of banking transactions on an insecure computer
fd8-torrent
Final project of Teleinformatics and Networks 2.
fsc-notes
Notas de aula das matéria de Fundamentos de Sistemas Computacionais da Universidade de Brasília, dada pela Profa. Alba
my_landing
The landing page for my personal site
the_post_type
A boilerplate plugin for a quick Custom Post Type customization in Wordpress projects
the_theme
My Wordpress Boilerplate Theme Based in HTML5, Sass and Gulp
webspy
My graduation project: a web traffic spoofer, with (intended) ssl stripping
rodopoulos's Repositories
rodopoulos/fsc-notes
Notas de aula das matéria de Fundamentos de Sistemas Computacionais da Universidade de Brasília, dada pela Profa. Alba
rodopoulos/webspy
My graduation project: a web traffic spoofer, with (intended) ssl stripping
rodopoulos/dap-verification
Formal verification of the DAP, a protocol for secure authorization of banking transactions on an insecure computer
rodopoulos/fd8-torrent
Final project of Teleinformatics and Networks 2.
rodopoulos/my_landing
The landing page for my personal site
rodopoulos/the_post_type
A boilerplate plugin for a quick Custom Post Type customization in Wordpress projects
rodopoulos/the_theme
My Wordpress Boilerplate Theme Based in HTML5, Sass and Gulp
rodopoulos/competitive-programming
My solutions to a series of problems over a series of online judges
rodopoulos/csjourney
My notes and study log about algorithms and computational problems
rodopoulos/cv
:page_with_curl: My curriculum vitae
rodopoulos/dotfiles
My environment config files
rodopoulos/dotfiles-1
:wrench: .files, including ~/.macos — sensible hacker defaults for macOS
rodopoulos/dotfiles-2
A collection of my linux dotfiles
rodopoulos/feliperodopoulos.com
My personal website
rodopoulos/isabelling
A collection of my Isabelle proofs and exercises!
rodopoulos/katas
rodopoulos/maestro
Maestro: Kubernetes Game Room Scheduler
rodopoulos/Mirai-Source-Code
Leaked Mirai Source Code for Research/IoC Development Purposes
rodopoulos/pitaya-rs
Experimental pitaya implementation in Rust, in order to allow easier creation of bindings to other languages.
rodopoulos/plantai
platai is a house plant tracking and encyclopedia service
rodopoulos/spotify-monthly-playlist