Pedro Abreu (pedrotst)

pedrotst

Geek Repo

Location:Indiana, USA

Home Page:https://pedroabreu0.github.io/

Twitter:@p_droabreu0

Github PK Tool:Github PK Tool


Organizations
design-patterns-for-humans

Pedro Abreu's repositories

JVM

An implementation of the Java Virtual Machine v1.8

Language:HTMLStargazers:3Issues:5Issues:0

openHUD

Open Source Poker HUD

Language:PythonStargazers:1Issues:0Issues:0
Language:TeXStargazers:1Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

angular2-jwt

Helper library for handling JWTs in Angular 2 apps

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

angular2-unittest-samples-release

Unit testing samples for Angular 2.0.0 - updated for the official release

Language:TypeScriptStargazers:0Issues:0Issues:0

awdy

are we decentralized yet? an analysis of how truly decentralized cryptocurrency networks are

Language:HTMLStargazers:0Issues:2Issues:0

bbv

Bedrock Bit Vector Library

Language:CoqLicense:MITStargazers:0Issues:2Issues:0
Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

brazilian-portuguese

Brazilian portuguese translation [WIP]

License:MITStargazers:0Issues:0Issues:0

CS240-Grading

Python script for running test cases of Purdue CS240 HW

Language:PythonStargazers:0Issues:1Issues:0

dcrstakepool

Stakepool for Decred.

Language:GoLicense:MITStargazers:0Issues:0Issues:0

dsss18

Lecture material for DeepSpec Summer School 2018

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Esquadro

A set of tools to collect and analyze the code's metrics in order to keep a datawarehouse.

Language:ShellLicense:GPL-2.0Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

fpdb-chaz

chaz's new fpdb repo

Language:PythonStargazers:0Issues:0Issues:0

Hearthstone-Collection-Tracker

A plugin for Hearthstone Deck Tracker that allows to keep track on pack sets

Language:C#Stargazers:0Issues:0Issues:0

Hearthstone-Deck-Tracker

A deck tracker and game manager for Hearthstone

Language:C#Stargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

Paymetheus

Decred Wallet for Windows

Language:C#License:ISCStargazers:0Issues:0Issues:0
Language:RubyStargazers:0Issues:0Issues:0

protractor

E2E test framework for Angular apps

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

refine-freer

Experiments with an extensible refinement framework

Language:CoqStargazers:0Issues:1Issues:0

SB-JVM-Bunda

jvm só quero passar!!

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

sbcprojs

Repositório de SB projetos em C do grupo 3

Language:CStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0

vellvm

The Vellvm II coq development.

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

x-puzzle_solver

A solver to the 8-puzzle problem, extended for any x-puzzle

Language:PythonStargazers:0Issues:0Issues:0