Name: Roberto Rosmaninho
Type: User
Company: @Pi-Squared-Network
Bio: Compiler Engineer @runtimeverification
Computing Science @ Universidade Federal de Minas Gerais
Twitter: rrosmaninho1
Location: Belo Horizonte, MG
Blog: https://www.linkedin.com/in/robertorosmaninho/
Roberto Rosmaninho's Projects
Codes used by me on the subjects of the 4th semester in Computer Science Bch
A loop profiler for the LLVM compiler infrastructure
Repositório utilizado para Aula Pratica Refactoring de Engenharia de Software do curso de Ciência da Computação da Universidade Federal de Minas Gerais
Repository for code and data used on my bachelor's degree in computer science course at UFMG
This repository has the implementations of RSA Cryptography
This repository contains the source code for the project "MLIR Support for D" of Symmetry Autumn of Code 2019
Aula prática sobre servidores de Integração Contínua
Roteiro prático sobre testes end-to-end (testes de front-end) usando o Cypress.
This repository contains the code for run a Depth-First Search on a Control Flow Graph of a given function
Pratical Works of Discrete Mathematics at Universidade Federal de Minas Gerais
Ethereum implementation on the efficiency frontier
Official Go implementation of the Ethereum protocol
Homepage
The LLVM-based D Compiler.
KORE to llvm translation
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.
Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.
"Multi-Level Intermediate Representation" Compiler Infrastructure
My LLVM Passes
Chess
optimize arithmetic instructions that accepts an identity
The goal of this project is to design and implement techniques that lets us evaluate function arguments in a lazy fashion.
This repository contains seven different implementations of Quicksort
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Runtime Verification - Test Assignment
The Swift Programming Language