Rodrigo Rocha

NatI. NatI (Natural Language Interface) is a multi-language voice control system.

rcc. rcor C compiler (under development)

llvm-heat-printer. LLVM Profiling Visualization

OberonC. Oberon-0 Compiler: An educational compiler for a subset of the Oberon programming language

fmsa. Function Merging & Branch Fusion

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.

SeqALib. SeqALib: Sequence Alignment Library

typed-graph-theory. Typed Graph Theory: Extending graphs with type systems

paperman. Paper manager

apref. APReF: An Automatic Parallelizer of Recursive Functions for Haskell

phd-thesis. TeX

TeXbuilder. TeXbuilder is a framework with the purpose of making even easier the creation of LaTeX documents.

llvm-work-instr. Low-overhead instrumentation for work-based profiling in LLVM

pymaths. A python maths library, including fractals

spp. SPP is a framework for Structured Parallel Patterns (also known as algorithmic skeleton)

mscr. Dissertation for the Master of Science by Research at The University of Edinburgh (School of Informatics)

deep-profit. Python

amber. C++

cgo18mscr. Repo for the paper from my MScR aiming at CGO'18

JAnthill. JAnthill is a Java implementation of the filter-stream programming model called Anthill.

netmonitor. A network monitoring system

hadoop-watershed. Hadoop Watershed is a distributed system for efficient large-scale data stream processing on computer clusters.