Popular repositories Loading

1. W-in-Coq W-in-Coq Public

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

   Coq 26 1

2. Latex-Beamer-UDESC Latex-Beamer-UDESC Public

   It's a beamer presentation written in LaTeX with some theme modifications.

   TeX 8 4

3. nix-configs nix-configs Public

   Just my personal nix files configs and dot files

   Nix 4 1

4. cli3DS cli3DS Public

   A small CLI library for Nintendo 3DS Homebrew applications

   C++ 2

5. verified_stream_processing verified_stream_processing Public

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

   Isabelle 2

6. rafaelcgs10.github.io rafaelcgs10.github.io Public

   My personal/professional home page

   JavaScript