Computer Science
7,622 items in 38 lists
-
ast-grep ast-grep.github.io
ast-grep is a powerful tool designed for managing code at scale using Abstract Syntax Trees (AST). Think of it as a hybrid of grep, eslint, and codemod, with the ability to search, lint, and rewrite code based on its structure rather than plain text. It supports multiple…
-
ArchUnit archunit.org
Unit test your Java or Kotlin architecture.
-
kube-hunter aquasecurity.github.io
Hunt for security weaknesses in Kubernetes clusters.
-
AppSec Santa — SAST Tools appsecsanta.com
Independent comparison of 30+ static analysis security testing tools with features, pricing, and alternatives
-
ansible-lint ansible.readthedocs.io
Checks playbooks for practices and behaviour that could potentially be improved.
-
SPARK adacore.com
copyright: — Static analysis and formal verification toolset for Ada.
-
Astrée absint.com
copyright: — Astrée automatically proves the absence of runtime errors and invalid concurrent behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding…
-
Codecov about.codecov.io
copyright: — Codecov is a company that provides code coverage tools for developers and engineering leaders to gain visibility into their code coverage. They offer flexible and unified reporting, seamless coverage insights, and robust coverage controls. Codecov supports over 20…
-
abaplint abaplint.org
Linter for ABAP, written in TypeScript.
-
Linux Kernel 4.21 Call Graphs zenodo.org
The Linux Kernel 4.21 Call Graphs produced using CScout.
-
Maven Dependency Graph zenodo.org
Snapshot of the whole Maven Central taken on September 6, 2018, stored in a graph database.
-
-
Mining Software Repositories zenodo.org
-
Empirical Software Engineering zenodo.org
-
Ultimate Debian Database (UDD) wiki.debian.org
Data about various aspects of Debian (e.g. packages, bugs, mainteners) in the same SQL database.
-
TravisTorrent travistorrent.testroots.org
Provides free and easy-to-use Traivs CI build analyses.
-
SWE-bench swebench.com
SWE-bench is a benchmark designed to evaluate the ability of AI models to solve real-world software engineering problems by generating fixes for issues found in open-source code repositories.
-
STAMINA stamina.chefbe.net
(STAte Machine INference Approaches) data are used to benchmark techniques for learning deterministic finite state machines (FSMs).
-
ckjm spinellis.gr
Chidamber and Kemerer Java Metrics.
-
Grammar Zoo slebok.github.io
Collection of grammars of DSLs and GPLs, some extracted from metamodels and document schemata.
-
SIR sir.unl.edu
Software-artifact infrastructure repository; Java, C, C++, and C# software together with test suites and fault data.
-
Cryptocurrency GitHub Activity and Market Cap Dataset rvantonder.github.io
Activity such as commits, stars, prices, and market cap of over 200 cryptocurrency projects on GitHub over time. Raw, historic data is also available.
-
RepoReapers Data Set reporeapers.github.io
Data set containing a collection of engineered software projects from GHTorrent.
-
IEEE Software magazine publications.computer.org
-
PROMISE promise.site.uottawa.ca
About 20 datasets related to software engineering research.
-
PROMISE: Predictive Models and Data Analytics in Software Engineering conference promise.site.uottawa.ca
-
MSR: Mining Software Repositories conference msrconf.org
-
Empirical Software Engineering journal link.springer.com
-
Code Reviews kin-y.github.io
Code reviews of OpenStack, LibreOffice, AOSP, Qt, Eclipse.
-
KaVE kave.cc
Developer tool interaction data.
-
Journal of Systems and Software journals.elsevier.com
-
Unified Bug Dataset inf.u-szeged.hu
Static source code based datasets which includes the Bugcatchers Bug Dataset, the Bug Prediction Dataset, the Eclipse Bug Dataset, the GitHub Bug Dataset, some datasets from the PROMISE repository.
-
GitHub Bug Dataset inf.u-szeged.hu
Bug Dataset of 15 Java open-source projects characterized by static source code metrics.
-
-
ICSE: International Conference on Software Engineering icse-conferences.org
-
GrimoireLab grimoirelab.github.io
Free/Libre/Open Source tools for Software Development Analytics.
-
FLOSSmole flossmole.org
Collaborative collection and analysis of free/libre/open source project data.
-
Enron Spreadsheets and Emails figshare.com
All the spreadsheets and emails used in the paper 'Enron's Spreadsheets and Related Emails: A Dataset and Analysis'.
-
-
Eclipse AERI stacktraces download.eclipse.org
Collection of stacktraces of Exceptions encountered by users of the Eclipse IDE, as retrieved by the AERI reporting system.
-
Software Heritage Graph Dataset doi.org
Graph of the development history and file metadata of >80 million software projects from various forges (GitHub, Gitlab, Debian, PyPI, Google Code, etc) in a deduplicated and unified representation (paper here).
-
-
IEEE Transactions on Software Engineering computer.org
-
CoREBench comp.nus.edu.sg
Collection of 70 realistically Complex Regression Errors that were systematically extracted from the repositories and bug reports of four open-source software projects: Make, Grep, Findutils, and Coreutils.
-
GitHub on Google BigQuery cloud.google.com
GitHub data accessible through Google's BigQuery platform.
-
Bug Prediction Dataset bug.inf.usi.ch
Collection of models and metrics from Eclipse JDT Core, PDE UI, Equinox Framework, Lucene, Mylyn, and their histories.
-
Boa boa.cs.iastate.edu
Domain-specific language and infrastructure that eases mining software repositories.
-
Directory of MSR Datasets authecesofteng.github.io
-
Stack Exchange archive.org
Anonymized dump of all user-contributed content on the Stack Exchange network.
-
AndroidTimeMachine androidtimemachine.github.io
Graph-based dataset of commit history of 8,431 real-world Android apps.
- next page of items loading…
