gleisonsdm Goto Github PK

autoparbench

dawncc

dawncc-compiler

A source-to-source compiler for automatic parallelization of C programs through code annotation.

interactive_teacher

A project to help people to learn other languages using technology.

kuifje-compiler

An imperative language for quantitative information flow.

kuifje-compiler-light

kuifje-documentation

A documentation for Kuifje Language

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.

openmp-extractor

openmp_benchmarks

pds2_exemplo

phoenix

optimize arithmetic instructions that accepts an identity

ppgccufmg

Uma classe LaTeX para dissertações, teses e propostas do Programa de Pós-Graduação em Ciência da Computação (PPGCC) da Universidade Federal de Minas Gerais (UFMG).

qif_lib

A Quantitative Information Flow Open Source Library

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.

symbolicptrrangeanalysis

taskminer

taskminer-installer

A project to install TaskMiner with its test framework

tp-pds2

Trabalho em grupo na disciplina de PDS2

web-starter-kit