Pinned Repositories
TwitchFlix
This project was developed for the Mobile Devices Programming class (2019). The objective was to create a platform for both watching Video-on-Demand and livestreams from other users of the app.
TAA-2---2
cv
marques-rodrigo.github.io
simple-sub-records
Extending Simple-sub with extensible records
substructural-type-systems
two-sided
lambda-pmc
Lazy abstract machine based on the pattern-matching calculus
plfm-dcc.github.io
marques-rodrigo's Repositories
marques-rodrigo/simple-sub-records
Extending Simple-sub with extensible records
marques-rodrigo/cv
marques-rodrigo/marques-rodrigo.github.io
marques-rodrigo/substructural-type-systems
marques-rodrigo/two-sided