Gleison Souza's repositories
DawnCC-Compiler
A source-to-source compiler for automatic parallelization of C programs through code annotation.
kuifje-compiler
An imperative language for quantitative information flow.
Kuifje-Documentation
A documentation for Kuifje Language
TaskMiner-Installer
A project to install TaskMiner with its test framework
Interactive_Teacher
A project to help people to learn other languages using technology.
kuifje-shallow
A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.
KuifjeStash
Three different stashes using kuifje
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
rose-apt-get
all things related to supporting apt-get install rose on Ubuntu
rose-develop
The latest development version of rose. It may not pass all regression tests.