Marcelo Orenes-Vera
morenes Goto Github PK
Name: Marcelo Orenes-Vera
Type: User
Bio: Incoming CSE Assistant Professor at University of California Santa Cruz PhD at Princeton University
Twitter: orenes95
Location: California, United States
Name: Marcelo Orenes-Vera
Type: User
Bio: Incoming CSE Assistant Professor at University of California Santa Cruz PhD at Princeton University
Twitter: orenes95
Location: California, United States
Marcelo Orenes-Vera
Github version of AES accelerator from opencores.org/projects/aes-128_pipelined_encryption
Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operates at RTL to exhaustively examine any machine state left by a process after a context switch that creates an execution difference.
AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.
List of awesome open source hardware tools, generators, and reusable designs
This is the fork of CVA6 intended for PULP development.
Repository for the Android version of the infoArt App
Repository for the iOS version of the infoArt App
Repository for the trajectory analysis in the server. It leverages ML to analyse the visitor’ trajectories to improve the exhibition’s design.
MAPLE's hardware-software co-design allows programs to perform long-latency memory accesses asynchronously from the core, avoiding pipeline stalls, and enabling greater memory parallelism (MLP).
Simulator framework for analysis of performance, energy consumption, area and cost of multi-node multi-chiplet tile-based manycore designs
Verilog version of Z-scale (deprecated)
The OpenPiton Platform
PDF to Text using Python PyPDF2
An HCI game developed in C# using Microsoft Surface Table 2.0. It involved QR-detected tangibles as game obstacles, gesture and voice recognition for power-ups, and light-tracking for paddle control. The user managed the game from an Android app that communicated with the Surface server.
Tetris game programmed in MIPS assembly
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.