Yoan Ribeiro's repositories
tdd-js-star-april
TDD Demo for the JS-Star Meetup of April
SFCToKeYmaera
A tool to translate the XML representation of Sequential Function Chart to its corresponding KeYmaera hybrid program
Distributed-Systems
Fundamental concepts in Distributed Systems
000
Formal-Methods-in-Software-Engineering
The purpose of this repository is to show case various aspects of formal methods and computer science in general which help in the development of any Software
000
graphql-tools
:wrench: Build, mock, and stitch a GraphQL schema using the schema language
Language:TypeScriptMIT000
real-time-poc
This repo is a Proof of Concept for real-time applications using websockets and server-sent events
rpsls.github.io
Interview project: Rock Paper Scissors Lizard Spock
Language:TypeScript000
StockMarketExample
Stock Market Example made with Java RMI
Language:Java000
Language:CSSNOASSERTION000