Git Product home page Git Product logo

Hi there πŸ‘‹

I'm Pedro, a 26 year old developer.

I’m a developer who’s passionate about solving problems and always eager to build something that has a positive impact in other people's lives.

I like to push myself and practice whenever possible, both at work/college and at home, and I'm looking for a space where I can grow, both as a person and as a professional.

In my current job as a full stack developer, I use Angular, HTML, CSS, JS and C#.

I like to push myself and practice whenever possible, both at work/college and at home, and I'm looking for a space where I can grow, both as a person and as a professional.

You can usually find me trying to learn new technologies, listening to music or practicing paddel.

Notice that this profile is under construction! Most of the projects I will have on here will be from coding courses I'm doing and from special occasions.

Pedro Costa's Projects

operations icon operations

Operations Program using SUM and SUB Math Operations.

professor_dk icon professor_dk

This repository contains useful code taught in the Official Professor DK Lecture Series in Youtube! Learn Everything the easy way!

spin icon spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

testrepositorywithgithubdesktop icon testrepositorywithgithubdesktop

Testing the creation of a GitHub repository using GitHub Desktop. The README is a useful file for including general informnation about the repository and its contents. It is rendered using markdown, which is essentially a way to create readable plain-text documents that can be rendered as web pages or other media formats.

verifast icon verifast

Research prototype tool for modular formal verification of C and Java programs

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    πŸ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. πŸ“ŠπŸ“ˆπŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❀️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.