Pinned Repositories
cli3DS
A small CLI library for Nintendo 3DS Homebrew applications
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
verified_stream_processing
A Isabelle/HOL verification framework for Time-Aware Stream Processing
W-in-Coq
This is a Coq formalization of Damas-Milner type system and its algorithm W.
rafaelcgs10's Repositories
rafaelcgs10/W-in-Coq
This is a Coq formalization of Damas-Milner type system and its algorithm W.
rafaelcgs10/Latex-Beamer-UDESC
It's a beamer presentation written in LaTeX with some theme modifications.
rafaelcgs10/nix-configs
Just my personal nix files configs and dot files
rafaelcgs10/cli3DS
A small CLI library for Nintendo 3DS Homebrew applications
rafaelcgs10/verified_stream_processing
A Isabelle/HOL verification framework for Time-Aware Stream Processing
rafaelcgs10/cheat-sheets
My personal cheat sheets
rafaelcgs10/clang_complete
Vim plugin that use clang for completing C/C++ code.
rafaelcgs10/dotfiles
My dotfiles!
rafaelcgs10/fractals
Just some fractals
rafaelcgs10/fuzzy-rename-libretro-thumbnails
This a small collection of Python scripts to rename your games based on the box art from Libretro repository
rafaelcgs10/My-CV
Just my CV
rafaelcgs10/NoBepaTree
This is a mysterious repo!
rafaelcgs10/rafaelcgs10.github.io
My personal/professional home page
rafaelcgs10/timely-dataflow
A modular implementation of timely dataflow in Rust
rafaelcgs10/TweetHunter
A small Ruby on Rails app that searches and stores tweets.
rafaelcgs10/unification
Formalisation of a type unification algorithm in Coq proof assistant.