Giters
José E. Solsona (josedusol)

josedusol

Geek Repo

0

followers

0

following

10

stars

Company:ORT University Uruguay

Location:Montevideo, Uruguay

Github PK Tool:Github PK Tool

José E. Solsona's repositories

PCR

TLA+ specification of the PCR parallel programming pattern.

Language:TLAStargazers:1Issues:0Issues:0

android-quick-response-code

Android QR Code Decoder and Encoder

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

fc-lh

Fundamentos de la Computación in Liquid Haskell

Language:HaskellStargazers:0Issues:0Issues:0

FreeCodeCamp

The https://FreeCodeCamp.com open source codebase and curriculum. Learn to code and help nonprofits.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

JosEduSol-www

Personal website.

Language:HTMLStargazers:0Issues:0Issues:0

LinkCrawler

Find broken links in webpage

Language:C#License:MITStargazers:0Issues:0Issues:0

moment

Parse, validate, manipulate, and display dates in javascript.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

parallel-merge-sort

Language:CStargazers:0Issues:1Issues:0

prestashop-docker-debugging

Deploys prestashop on Docker with XDebug configured

Language:DockerfileStargazers:0Issues:0Issues:0

pseudocode.js

Beautiful pseudocode for the Web

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

License:MITStargazers:0Issues:0Issues:0