Rafael Castro Gonçalves Silva (@rafaelcgs10)
github

rafaelcgs10

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    46
  • Global Rank 359,719 (Top 13 %)
  • Followers 70
  • Following 66
  • Registered over 11 years ago
  • Most used languages
    Coq     20.0 %
    C++
         20.0 %
    TeX
         20.0 %
    Isabelle     20.0 %
    Nix
         20.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,435
  • Country Ranking
    Isabelle     2
    Coq     5
    Nix
         15
    TeX
         33
    C++
         532

Top repositories

1

W-in-Coq

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

Latex-Beamer-UDESC

It's a beamer presentation written in LaTeX with some theme modifications.
TeX
8
star
3

my-favorite-ascii-art

Just a collection of my favorite ascii art (actually some are utf-8/unicode). Some are my creation, some are stolen.
8
star
4

nix-configs

Just my personal nix files configs and dot files
Nix
3
star
5

cli3DS

A small CLI library for Nintendo 3DS Homebrew applications
C++
2
star
6

verified_stream_processing

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