oscarcosta
Software Engineer, CompSci MSc, hobbyist photographer, weekend mountain biker, casual runner, Linux user, former metal bass player...
The Interwebs
Pinned Repositories
100daysofhacking
100 days of hacking
active-object
Active Object Pattern in Java and Go
adventofcode2023
API-3.0-Ruby
SDK Ruby da API 3.0 da Cielo
barbershop
(FIFO) Barbershop problem in Java using BlockingQueue and Semaphore
crdt-tla
Verifying the correctness of CRDTs using TLA+/PlusCal
oscarcosta.github.io
personal webpage
outlook_addin_react
stickerme
The StickerMe is an web application, where the users can insert their pictures in frames that simulate stickers.
vh-hs-webhook
VanHackathon HootSuit Webhook
oscarcosta's Repositories
oscarcosta/crdt-tla
Verifying the correctness of CRDTs using TLA+/PlusCal
oscarcosta/oscarcosta.github.io
personal webpage
oscarcosta/outlook_addin_react
oscarcosta/100daysofhacking
100 days of hacking
oscarcosta/active-object
Active Object Pattern in Java and Go
oscarcosta/adventofcode2023
oscarcosta/API-3.0-Ruby
SDK Ruby da API 3.0 da Cielo
oscarcosta/barbershop
(FIFO) Barbershop problem in Java using BlockingQueue and Semaphore
oscarcosta/bash_scripts
Some bash scripts I'm using on my machines...
oscarcosta/byzantine-generals
A implementation of the Byzantine General Problem
oscarcosta/csc462-boat-web
Web-based front end for CSC462 Boat Data Store
oscarcosta/csc462boatsql
oscarcosta/dining-philosophers
Dining-Philosophers problem in Java using syncronized and Semaphore
oscarcosta/example-voting-app
Example distributed app composed of multiple containers for Docker, Compose, Swarm, and Kubernetes
oscarcosta/example-voting-app-kubernetes
oscarcosta/gitea
Git with a cup of tea, painless self-hosted git service
oscarcosta/hugo
The world’s fastest framework for building websites.
oscarcosta/job-hunting
Job Hunting Visualization
oscarcosta/kics
Find security vulnerabilities, compliance issues, and infrastructure misconfigurations early in the development cycle of your infrastructure-as-code with KICS by Checkmarx.
oscarcosta/mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
oscarcosta/meeting-planner
A distributed meeting planing system with Vector Clocks.
oscarcosta/mysql-docker
Dockerfiles and scripts for MySQL products
oscarcosta/photoMetaData
Python script to extract photo exif
oscarcosta/search-insert-delete
Search-Insert-Delete problem in Java using Lock and Semaphore
oscarcosta/serverless_demo
Serverless demo functions using IBM Cloud and Apache OpenWhisk
oscarcosta/sntp-client
SNTP Client in Python
oscarcosta/stpa.icpa
oscarcosta/UVicDSA19
UVic Students Documenting Software Architecture 2019
oscarcosta/vector-clocks
Vector Clocks algorithm in TLA+/PlusCal
oscarcosta/WHP_IaC_Scanning
A repository for the We Hack Purple mini-course on IaC scanning with Checkov. (https://checkov.io)