Miguel Pardal (miguelpardal)

miguelpardal

Geek Repo

Company:INESC-ID, Instituto Superior Técnico, Universidade de Lisboa

Location:Lisbon, Portugal

Home Page:http://web.tecnico.ulisboa.pt/miguel.pardal

Twitter:@miguelpardal

Github PK Tool:Github PK Tool

Miguel Pardal's repositories

BATeX

Windows batch files for LaTeX

Language:BatchfileLicense:GPL-3.0Stargazers:3Issues:2Issues:0

random-name-generator

A simple Java program to generate random names

Language:JavaLicense:MITStargazers:3Issues:1Issues:0

xs

XML Shorthand

Language:JavaLicense:MITStargazers:2Issues:2Issues:1

BibWord

Microsoft Word and Bibliography Styles extender.

Language:XSLTLicense:GPL-3.0Stargazers:1Issues:0Issues:0

CttPdcpAdapter

CTT Postal Code Adapter from REST to SOAP web service

Language:JavaLicense:MITStargazers:1Issues:0Issues:0

Pacman-Game

In this project, the Pacman agent will find paths through his maze world, both to reach a particular location and to collect food efficiently. I implemented general search algorithms such as depth-first, breadth-first, uniform cost, and A* search algorithms which are used to solve navigation problems in the Pacman world.

Language:PythonStargazers:1Issues:0Issues:0

university-course

A Hyperledger Lab focused developing materials for a university course.

Language:TeXLicense:Apache-2.0Stargazers:1Issues:1Issues:0

awesome

😎 Awesome lists about all kinds of interesting topics

License:CC0-1.0Stargazers:0Issues:0Issues:0

awesome-aws

A curated list of awesome Amazon Web Services (AWS) libraries, open source repos, guides, blogs, and other resources. Featuring the Fiery Meter of AWSome.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

awesome-grpc

A curated list of useful resources for gRPC

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

cactus

Hyperledger Cactus is a new approach to the blockchain interoperability problem

License:Apache-2.0Stargazers:0Issues:0Issues:0

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

License:MITStargazers:0Issues:0Issues:0

DeepfakeHTTP

🟪 DeepfakeHTTP is a web server that uses HTTP dumps as a source for responses.

License:MITStargazers:0Issues:0Issues:0

duplicati

Store securely encrypted backups on cloud storage services!

Language:C#License:LGPL-2.1Stargazers:0Issues:0Issues:0

fully-homomorphic-encryption

Libraries and tools to perform fully homomorphic encryption operations on an encrypted data set.

License:Apache-2.0Stargazers:0Issues:0Issues:0

hacker-laws

💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

HandsOnCrypto

Cryptography examples for experimenting

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

hosts

Extending and consolidating hosts files from several well-curated sources like adaway.org, mvps.org, malwaredomainlist.com, someonewhocares.org, and potentially others. You can optionally invoke extensions to block additional sites by category.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

InstallCert

Java program to retrieve server certificate that can be added to local keystore

Language:JavaStargazers:0Issues:2Issues:0

IoT-For-Beginners

12 Weeks, 24 Lessons, IoT for All!

Language:C++License:MITStargazers:0Issues:0Issues:0

JsonPath

Java JsonPath implementation

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

mvphosts

Keeping track of http://winhelp2002.mvps.org/ hosts file

Language:BatchfileLicense:NOASSERTIONStargazers:0Issues:2Issues:0

Network-segmentation-cheat-sheet

Best practices for segmentation of the corporate network of any company

License:Apache-2.0Stargazers:0Issues:1Issues:0

openhaystack

Build your own 'AirTags' 🏷 today! Framework for tracking personal Bluetooth devices via Apple's massive Find My network.

Language:SwiftLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

SafeCloudFS

SafeCloud File System. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.

Language:JavaLicense:MITStargazers:0Issues:2Issues:0

samples

Samples of the book gRPC Up and Running. Each sample is based on a real-world use case and details of the use case can be found in the respective chapter of the book.

License:NOASSERTIONStargazers:0Issues:0Issues:0

scoop

A command-line installer for Windows.

Language:PowerShellLicense:UnlicenseStargazers:0Issues:2Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

stayaway-app

Official repository for the STAYAWAY COVID mobile application

Language:JavaScriptLicense:EUPL-1.2Stargazers:0Issues:0Issues:0

xacml-3.0

AT&T implementation of OASIS XACML 3.0 Specification

License:MITStargazers:0Issues:0Issues:0