josedusol

PhD student in Computer Science. Research on verification of concurrent systems.

ORT University UruguayMontevideo, Uruguay

Pinned Repositories

android-quick-response-code
Android QR Code Decoder and Encoder
Language:Java00
fc-lh
Fundamentos de la Computación in Liquid Haskell
Language:Haskell00
FreeCodeCamp
The https://FreeCodeCamp.com open source codebase and curriculum. Learn to code and help nonprofits.
Language:JavaScript00
JosEduSol-www
Personal website.
Language:HTML00
LinkCrawler
Find broken links in webpage
Language:C#00
moment
Parse, validate, manipulate, and display dates in javascript.
Language:JavaScript0 1 00
parallel-merge-sort
Language:C0 1 00
PCR
TLA+ specification of the PCR parallel programming pattern.
Language:TLA1 2 01

josedusol's Repositories

josedusol/PCR
TLA+ specification of the PCR parallel programming pattern.
Language:TLA1 2 01
josedusol/android-quick-response-code
Android QR Code Decoder and Encoder
Language:Java00
josedusol/fc-lh
Fundamentos de la Computación in Liquid Haskell
Language:Haskell00
josedusol/FreeCodeCamp
The https://FreeCodeCamp.com open source codebase and curriculum. Learn to code and help nonprofits.
Language:JavaScript00
josedusol/JosEduSol-www
Personal website.
Language:HTML00
josedusol/LinkCrawler
Find broken links in webpage
Language:C#00
josedusol/moment
Parse, validate, manipulate, and display dates in javascript.
Language:JavaScript0 1 00
josedusol/parallel-merge-sort
Language:C0 1 00
josedusol/prestashop-docker-debugging
Deploys prestashop on Docker with XDebug configured
Language:Dockerfile00
josedusol/pseudocode.js
Beautiful pseudocode for the Web
Language:JavaScript0 0
josedusol/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.