tutugordillo

Pinned Repositories

absexamples
ABS Examples
Language:Java00
ACF
Practices in Maude that corresponds to a subject of Master in Computer Science from UCM
00
Computer-Technology
MIPS of 32-bits programmed in VHDL
Language:C00
DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript0 2 00
DEV
Videogames development
Language:ASP00
EthIR
A framework for high-level Analysis of Ethereum Bytecode
Language:Python00
oyente
An Analysis Tool for Smart Contracts
Language:JavaScript00
PDAP
Practices in erlang
Language:Erlang00
remix-desktop
Remix IDE desktop
Language:JavaScript00
SGDI
Subject of the Master in Computer Science in the Complutense University of Madrid. It contains practices and examples in Java, Python and MongoDB related to MapReduce algorithms
Language:Python10

tutugordillo's Repositories

tutugordillo/SGDI
Subject of the Master in Computer Science in the Complutense University of Madrid. It contains practices and examples in Java, Python and MongoDB related to MapReduce algorithms
Language:Python10
tutugordillo/absexamples
ABS Examples
Language:Java00
tutugordillo/ACF
Practices in Maude that corresponds to a subject of Master in Computer Science from UCM
00
tutugordillo/Computer-Technology
MIPS of 32-bits programmed in VHDL
Language:C00
tutugordillo/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript0 2 00
tutugordillo/DEV
Videogames development
Language:ASP00
tutugordillo/EthIR
A framework for high-level Analysis of Ethereum Bytecode
Language:Python00
tutugordillo/oyente
An Analysis Tool for Smart Contracts
Language:JavaScript00
tutugordillo/PDAP
Practices in erlang
Language:Erlang00
tutugordillo/remix-desktop
Remix IDE desktop
Language:JavaScript00
tutugordillo/SED
Proyecto de la asignatura Sistemas Empotrados y Distribuidos realizado con dos placas Arduino Uno y una placa Discovery
Language:C0 4 61
tutugordillo/SIDEMA
Project that simulates a set of distributed and intelligent robots that cooperate to find and desactivate mines
Language:Java01
tutugordillo/shields
Concise, consistent, and legible badges in SVG and raster format
tutugordillo/syrup-backend
backend of syrup: SYnthesizeR of sUPer-optimized smart contracts
1
tutugordillo/TMI
Project done with Unreal Engine 4 in the subject "Multimedia Technologies" of the Master in Computer Science at the Complutense University of Madrid
Language:GLSL
tutugordillo/yellowpaper
The "Yellow Paper": Ethereum's formal specification
Language:TeX