Juliane Marubayashi's repositories
LPL-solutions
Solutions for the book "Language Proof and Logic".
numerical-methods
Some code from numeric methods implemented in C++ and Python (MIEIC 2nd) 19/20
crdt-sample
Some CRDT samples to be used as reference
JmmCompiler
Simple compiler for the Jmm Language
ROSES-protocol
An hierarchical two layer CRDT protocol for sets and registers with causal context space complexity O(n), where n is the number of servers.
topic-publish-subscriber
A distributed system in a topic publish subscriber style
Awesome-Repo-Template
An awesome repo template packed with tons of tools & more to kick-start your next project / repo!
BackupSystem
Distributed backup system
BlazePodCopy
A copy for the blazepod.
BrainShare
BrainShare's mission is to create a community of FEUP students that allows them to easily obtain an answer to their questions regarding their curricular subject.
ChordBackupSystem
A distributed backup system based on the chord paper: https://pdos.csail.mit.edu/papers/chord:sigcomm01/chord_sigcomm.pdf
distributed-fake-twitter
This is a simple distributed version of twitter using kademlia system.
FEUP-MIEIC
This is a repository containing a collections of solved exercises and projects done at FEUP in the MIEIC course.
handoff-counters
An implementation of Handoff Counter for study purpose
jtimesched
A simple and lightweight time tracking tool
Talk-A-Bit-Competition-23
Official repository with solutions for the Talk A Bit event 2023
vga-invaders
Generate a VGA signal with the support of an Arduino Due to display and compute a game based on the classic Space Invaders while following strict timing constraints
Weather-Forecast
A beautiful weather application