rodopoulos Goto Github PK

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

dotfiles

My environment config files

dotfiles-1

:wrench: .files, including ~/.macos — sensible hacker defaults for macOS

dotfiles-2

A collection of my linux dotfiles

fd8-torrent

Final project of Teleinformatics and Networks 2.

feliperodopoulos.com

My personal website

fsc-notes

Notas de aula das matéria de Fundamentos de Sistemas Computacionais da Universidade de Brasília, dada pela Profa. Alba

isabelling

A collection of my Isabelle proofs and exercises!

katas

maestro

Maestro: Kubernetes Game Room Scheduler

mirai-source-code

Leaked Mirai Source Code for Research/IoC Development Purposes

my_landing

The landing page for my personal site

pitaya-rs

Experimental pitaya implementation in Rust, in order to allow easier creation of bindings to other languages.

plantai

platai is a house plant tracking and encyclopedia service

spotify-monthly-playlist

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