This dataset allow to perform tests and demonstrations with the domutils Python package. Source code is available at: https://github.com/dja001/domutil
Training and testing datasets used for numerical experiments in arXiv:2006.03040.The DL-ROM python c...
This dataset includes scripts and data files used to generate all analysis and results from the pape...
Testing is a very important discipline to ensure and validate software quality. Python includes two ...
This dataset allow to perform tests and demonstrations with the domutils Python package. Source cod...
Demonstrational and Tutorial Dataset for the DBDIpy Python library. See https://github.com/leopold-...
A Python package to load raw Distributed Temperature Sensing (DTS) files, perform a calibration, and...
Add examples in docstrings.If you use this software, please cite it using these metadata
Test data for use with `rpackageutils`, common utilities used in R modeling software packages availa...
The dataset of Python projects used for the study of code change patterns and their automation. The ...
Collection of Python implementations and translations to Dafny with verification attempts
The programming exercises were automatically generated by the Digital Teaching Assistant (DTA) syste...
<p>Data files used for the demonstration and testing of the gliderad2cp library https://github...
A collection of GitHub-Copilot-generated Python solutions and their translations to Dafny with verif...
This dataset includes scripts, text files, and CSV files used to generate all analysis and results f...
Training and testing datasets used for numerical experiments in arXiv:2006.03040.The DL-ROM python c...
This dataset includes scripts and data files used to generate all analysis and results from the pape...
Testing is a very important discipline to ensure and validate software quality. Python includes two ...
This dataset allow to perform tests and demonstrations with the domutils Python package. Source cod...
Demonstrational and Tutorial Dataset for the DBDIpy Python library. See https://github.com/leopold-...
A Python package to load raw Distributed Temperature Sensing (DTS) files, perform a calibration, and...
Add examples in docstrings.If you use this software, please cite it using these metadata
Test data for use with `rpackageutils`, common utilities used in R modeling software packages availa...
The dataset of Python projects used for the study of code change patterns and their automation. The ...
Collection of Python implementations and translations to Dafny with verification attempts
The programming exercises were automatically generated by the Digital Teaching Assistant (DTA) syste...
<p>Data files used for the demonstration and testing of the gliderad2cp library https://github...
A collection of GitHub-Copilot-generated Python solutions and their translations to Dafny with verif...
This dataset includes scripts, text files, and CSV files used to generate all analysis and results f...
Training and testing datasets used for numerical experiments in arXiv:2006.03040.The DL-ROM python c...
This dataset includes scripts and data files used to generate all analysis and results from the pape...
Testing is a very important discipline to ensure and validate software quality. Python includes two ...