Giters
Rafael Castro Gonçalves Silva (rafaelcgs10)

rafaelcgs10

Geek Repo

70

followers

67

following

65

stars

Location:Copenhage - DK

Github PK Tool:Github PK Tool

Rafael Castro Gonçalves Silva's repositories

W-in-Coq

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

Language:CoqLicense:GPL-3.0Stargazers:26Issues:3Issues:0

Latex-Beamer-UDESC

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

Language:TeXStargazers:8Issues:0Issues:0

nix-configs

Just my personal nix files configs and dot files

Language:NixStargazers:4Issues:3Issues:0

cli3DS

A small CLI library for Nintendo 3DS Homebrew applications

Language:C++License:MITStargazers:2Issues:3Issues:0

verified_stream_processing

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

Language:IsabelleLicense:MITStargazers:2Issues:0Issues:0

cheat-sheets

My personal cheat sheets

Stargazers:0Issues:0Issues:0

clang_complete

Vim plugin that use clang for completing C/C++ code.

Stargazers:0Issues:0Issues:0

dotfiles

My dotfiles!

Language:Emacs LispStargazers:0Issues:3Issues:0

fractals

Just some fractals

Language:RustStargazers:0Issues:3Issues:0

fuzzy-rename-libretro-thumbnails

This a small collection of Python scripts to rename your games based on the box art from Libretro repository

Language:PythonStargazers:0Issues:0Issues:0

My-CV

Just my CV

Language:TeXLicense:GPL-3.0Stargazers:0Issues:2Issues:0

NoBepaTree

This is a mysterious repo!

Language:HaskellStargazers:0Issues:3Issues:0

rafaelcgs10.github.io

My personal/professional home page

Language:JavaScriptStargazers:0Issues:0Issues:0

timely-dataflow

A modular implementation of timely dataflow in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

TweetHunter

A small Ruby on Rails app that searches and stores tweets.

Language:RubyLicense:GPL-3.0Stargazers:0Issues:0Issues:0

unification

Formalisation of a type unification algorithm in Coq proof assistant.

Language:CoqStargazers:0Issues:2Issues:0