Pinned Repositories
clc-denotational-agda
Minha monografia II da graduação. Semântica Denotacional para o Lambda Cálculo Computacional em Agda
CSDynamicCurriculum
Dynamic Computer Science Curriculum for Federal University of Ouro Preto
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
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.
regalloc
Simple Register Allocation using Metaheuristics
ringell
A work-in-progress compiler that ensures termination
mayconamaro's Repositories
mayconamaro/CSDynamicCurriculum
Dynamic Computer Science Curriculum for Federal University of Ouro Preto
mayconamaro/ringell
A work-in-progress compiler that ensures termination
mayconamaro/clc-denotational-agda
Minha monografia II da graduação. Semântica Denotacional para o Lambda Cálculo Computacional em Agda
mayconamaro/dffinder
A naive duplicate file finder CLI app written in Haskell
mayconamaro/GCSHask
Código Haskell que reduz o problema de coloração em grafos para o problema de satisfabilidade booleana
mayconamaro/regalloc
Simple Register Allocation using Metaheuristics
mayconamaro/haskell-regex-vm
Some prototypes of virtual machine approach for matching regexes
mayconamaro/memoriaMetaheuristicas
Repositorio com os codigos da Iniciacao Cientifica.
mayconamaro/pcc104
Minhas soluções para a disciplina Projeto e Análise de Algoritmos da pós graduação.
mayconamaro/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.
mayconamaro/geniusGame
Jogo GENIUS feito em Java para a disciplina de Programação Orientada à Objetos da UFOP em 2016.1
mayconamaro/mayconamaro
mayconamaro/mayconamaro.github.io
Repositorio da minha página
mayconamaro/Qt5-Spreadsheet
A simple Spreadsheet application made with Qt5, adapted from Mark Summerfield's Book "C++ Programming with Qt4"
mayconamaro/scp-termination-expansion
Draft