Pedro Orvalho's repositories
C-Pack-IPAs
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)
ecai23-GNNs-for-mapping-variables-between-programs
Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.
InvAASTCluster
InvAASTCluster: AASTs and Invariant-Based Program Clustering
cerberus
Program repair platform that provides interface to multiple state-of-the-art program repair tools
Language:PythonMIT000
CFaults
CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
Language:PythonMIT000
mkplot
A Python script to create cactus and scatter plots based on matplotlib
Language:PythonMIT000
pycparser
:snake: Complete C99 parser in pure Python
Language:PythonNOASSERTION000
ist-Compiladores
IST - Compilers - 2017
ist-ComplexNetworks
IST - Complex Network - 2017/2018
program-repair.github.io
Automated program repair bibliography, tools and benchmarks.
Language:HTML000
pytorch-lecture
Introductory lecture on Pytorch
Language:Jupyter Notebook000
safeexec
safe executor for programming contest auto judge system
Language:C000