Marcos Benevides's repositories
Criptografia-com-SAGE-2017
Códigos da Palestra sobre Introdução à Criptografia com Curvas Elípticas em SAGE para a XI Semana de Matemática UFMA 2017
PropositionsAsTypes
Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.
Internet-Magic-Money
(Unfinished) An analysis of the Close Price of some criptocurrencies using Pandas and Quandl's Bitcoin API.