mayconamaro

CSDynamicCurriculum

Dynamic Computer Science Curriculum for Federal University of Ouro Preto

ringell

A work-in-progress compiler that ensures termination

clc-denotational-agda

Minha monografia II da graduação. Semântica Denotacional para o Lambda Cálculo Computacional em Agda

dffinder

A naive duplicate file finder CLI app written in Haskell

GCSHask

Código Haskell que reduz o problema de coloração em grafos para o problema de satisfabilidade booleana

regalloc

Simple Register Allocation using Metaheuristics

haskell-regex-vm

Some prototypes of virtual machine approach for matching regexes

memoriaMetaheuristicas

Repositorio com os codigos da Iniciacao Cientifica.

pcc104

Minhas soluções para a disciplina Projeto e Análise de Algoritmos da pós graduação.

natural-explosion

Proof that if 0 = 1 then all naturals are the same number. All definitions of naturals and equality, even their properties are entirely made directly. No external or library definition was used.

geniusGame

Jogo GENIUS feito em Java para a disciplina de Programação Orientada à Objetos da UFOP em 2016.1

mayconamaro

mayconamaro.github.io

Repositorio da minha página

Qt5-Spreadsheet

A simple Spreadsheet application made with Qt5, adapted from Mark Summerfield's Book "C++ Programming with Qt4"

scp-termination-expansion

Draft