Rodrigo Rocha (rcorcs)

rcorcs

Geek Repo

Location:Edinburgh - UK

Home Page:http://rcor.me

Github PK Tool:Github PK Tool


Organizations
dragonnest-compilers

Rodrigo Rocha's repositories

rcc

rcor C compiler (under development)

Language:C++Stargazers:115Issues:10Issues:0

llvm-heat-printer

LLVM Profiling Visualization

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.

paperman

Paper manager

Language:PythonStargazers:5Issues:4Issues:0

SeqALib

SeqALib: Sequence Alignment Library

Language:C++License:Apache-2.0Stargazers:5Issues:4Issues:1

typed-graph-theory

Typed Graph Theory: Extending graphs with type systems

Language:TeXStargazers:4Issues:3Issues:0

apref

APReF: An Automatic Parallelizer of Recursive Functions for Haskell

Language:PythonStargazers:3Issues:3Issues:0
Language:TeXStargazers:3Issues:7Issues:0

llvm-work-instr

Low-overhead instrumentation for work-based profiling in LLVM

Language:C++Stargazers:2Issues:3Issues:0
Language:C++Stargazers:1Issues:3Issues:0

cgo18mscr

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

Language:TeXStargazers:1Issues:8Issues:0

mscr

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

Language:TeXStargazers:1Issues:3Issues:0

DeepSBT

DeepSBT: Static Binary Translation using Deep Learning

Language:PythonStargazers:0Issues:3Issues:0

alive2

Automatic verification of LLVM optimizations

Language:C++License:MITStargazers:0Issues:2Issues:0
Language:TeXStargazers:0Issues:6Issues:0

Distributed-Cycle-Detection

Implement of Distributed cycle detection in large-scale sparse graphs

Language:JavaStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0

google-hangouts-autocomplete

Source code for this post: http://tommymullaney.com/projects/char-rnn-gchat

Language:PythonStargazers:0Issues:3Issues:0

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:3Issues:0

llvm-mctoll

llvm-mctoll

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

PAMPAR

PAMPAR - A new parallel benchmark for parallel programing interfaces.

Language:CStargazers:0Issues:2Issues:0

parsec-benchmark

PARSEC http://parsec.cs.princeton.edu/ 3.0-beta-20150206 ported to Ubuntu 19.04 and with proper version control and SPLASH2 ported to Buildroot 2017.08 cross compilation (ARM, MIPS, etc.). This repo intends to support all build types and benchmarks, pull requests will be actively tested and merged.

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

PaRTy

PaRTy : A Parallel Run-Time System

Language:C++Stargazers:0Issues:3Issues:0
Language:PythonStargazers:0Issues:4Issues:0
Stargazers:0Issues:2Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:3Issues:0