pmorvalho Goto Github PK
Name: Pedro Orvalho
Type: User
Company: INESC-ID
Bio: CS PhD Candidate @ INESC-ID, IST, U. Lisboa
Location: Lisbon, PT
Name: Pedro Orvalho
Type: User
Company: INESC-ID
Bio: CS PhD Candidate @ INESC-ID, IST, U. Lisboa
Location: Lisbon, PT
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)
Program repair platform that provides interface to multiple state-of-the-art program repair tools
CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.
InvAASTCluster: AASTs and Invariant-Based Program Clustering
IST - Autonomous Agents and Multi-Agent Systems - 2018
IST - Learning and Intelligent Decision-Making - 2018
IST - Systems Analysis and Modeling - 2017
IST - Analysis and Synthesis of Algorithms - 2016
IST - Databases - 2016/2017
IST - Computer Graphics - 2016/2017
IST - Compilers - 2017
IST - Complex Network - 2017/2018
IST - Software Engineering - 2017
IST - Introduction to Computer Architecture - 2015/2016
IST - Introduction to Algorithms and Data Structures - 2015
IST - Human-Computer Interaction - 2016
IST - Natural Language - 2017/2018
IST - Logic for Programming - 2015
IST - Object-Oriented Programming - 2015/2016
IST - Computer Networks - 2016/2017
IST - Decision Support Systems - 2017/2018
IST - Distributed Systems - 2017
IST - Operating Systems - 2015/2016
A Python script to create cactus and scatter plots based on matplotlib
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
Automated program repair bibliography, tools and benchmarks.
:snake: Complete C99 parser in pure Python
Introductory lecture on Pytorch
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.