Robertorosmaninho
Compiler Engineer @runtimeverification Computing Science @ Universidade Federal de Minas Gerais
@Pi-Squared-NetworkBelo Horizonte, MG
Pinned Repositories
proof-checker-public
Ammit
A loop profiler for the LLVM compiler infrastructure
D-Dialect-for-MLIR
This repository contains the source code for the project "MLIR Support for D" of Symmetry Autumn of Code 2019
Project_Wyvern
The goal of this project is to design and implement techniques that lets us evaluate function arguments in a lazy fashion.
swift
The Swift Programming Language
SwiftToCxx-DivisionFunction
Swift and C++ Interop: Handling Error on Division Function
taco
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
k
K Framework Tools 7.0
llvm-backend
KORE to llvm translation
swift
The Swift Programming Language
Robertorosmaninho's Repositories
Robertorosmaninho/D-Dialect-for-MLIR
This repository contains the source code for the project "MLIR Support for D" of Symmetry Autumn of Code 2019
Robertorosmaninho/Ammit
A loop profiler for the LLVM compiler infrastructure
Robertorosmaninho/swift
The Swift Programming Language
Robertorosmaninho/SwiftToCxx-DivisionFunction
Swift and C++ Interop: Handling Error on Division Function
Robertorosmaninho/DFSonCFG
This repository contains the code for run a Depth-First Search on a Control Flow Graph of a given function
Robertorosmaninho/ldc
The LLVM-based D Compiler.
Robertorosmaninho/Project_Wyvern
The goal of this project is to design and implement techniques that lets us evaluate function arguments in a lazy fashion.
Robertorosmaninho/taco
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
Robertorosmaninho/4_Semester_2019_UFMG
Codes used by me on the subjects of the 4th semester in Computer Science Bch
Robertorosmaninho/assembler
Robertorosmaninho/AulaPraticaRefactoring
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
Robertorosmaninho/BCC-UFMG
Repository for code and data used on my bachelor's degree in computer science course at UFMG
Robertorosmaninho/Cryptography
This repository has the implementations of RSA Cryptography
Robertorosmaninho/demo-ci
Aula prática sobre servidores de Integração Contínua
Robertorosmaninho/demo-cypress
Roteiro prático sobre testes end-to-end (testes de front-end) usando o Cypress.
Robertorosmaninho/erigon
Ethereum implementation on the efficiency frontier
Robertorosmaninho/fundamentos-react
Robertorosmaninho/go-ethereum
Official Go implementation of the Ethereum protocol
Robertorosmaninho/homepage
Homepage
Robertorosmaninho/linker
Robertorosmaninho/llvm-backend
KORE to llvm translation
Robertorosmaninho/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.
Robertorosmaninho/micro-livraria
Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.
Robertorosmaninho/mlir
"Multi-Level Intermediate Representation" Compiler Infrastructure
Robertorosmaninho/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Robertorosmaninho/RVCompiler
Runtime Verification - Test Assignment
Robertorosmaninho/tdd-project
Robertorosmaninho/tools
Ancillary tools for the D programming language compiler
Robertorosmaninho/understanding-k-framework
Robertorosmaninho/zkllvm-template
Template repository for zkLLVM-based projects