Rafael Castro Gonçalves Silva

W-in-Coq. This is a Coq formalization of Damas-Milner type system and its algorithm W.

Latex-Beamer-UDESC. It's a beamer presentation written in LaTeX with some theme modifications.

nix-configs. Just my personal nix files configs and dot files

cli3DS. A small CLI library for Nintendo 3DS Homebrew applications

verified_stream_processing. A Isabelle/HOL verification framework for Time-Aware Stream Processing