COLLECTED BY

Organization: Archive Team

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.

History is littered with hundreds of conflicts over the future of a community, group, location or business that were "resolved" when one of the parties stepped ahead and destroyed what was there. With the original point of contention destroyed, the debates would fall to the wayside. Archive Team believes that by duplicated condemned data, the conversation and debate can continue, as well as the richness and insight gained by keeping the materials. Our projects have ranged in size from a single volunteer downloading the data to a small-but-critical site, to over 100 volunteers stepping forward to acquire terabytes of user-created data to save for future generations.

The main site for Archive Team is at archiveteam.org and contains up to the date information on various projects, manifestos, plans and walkthroughs.

This collection contains the output of many Archive Team projects, both ongoing and completed. Thanks to the generous providing of disk space by the Internet Archive, multi-terabyte datasets can be made available, as well as in use by the Wayback Machine, providing a path back to lost websites and work.

Our collection has grown to the point of having sub-collections for the type of data we acquire. If you are seeking to browse the contents of these collections, the Wayback Machine is the best first stop. Otherwise, you are free to dig into the stacks to see what you may find.

The Archive Team Panic Downloads are full pulldowns of currently extant websites, meant to serve as emergency backups for needed sites that are in danger of closing, or which will be missed dearly if suddenly lost due to hard drive crashes or server failures.

Collection: Archive Team: URLs

TIMESTAMPS

The Wayback Machine - https://web.archive.org/web/20221007210518/https://github.com/EngineeringSoftware/

EngineeringSoftware

An SE group at UT Austin

1 follower
Austin

Popular repositories

mcoq Public

Mutation analysis tool for Coq verification projects

Java 21 1
roosterize Public

Tool for suggesting lemma names in Coq verification projects

Python 15 5
math-comp-corpus Public

Corpus of Coq code related to MathComp including several machine-readable representations

Common Lisp 8 1
time-segmented-evaluation Public

Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

Python 6 1
CoditT5 Public

Code and data for "CoditT5: Pretraining for Source Code and Natural Language Editing" in ASE 2022.

Python 6 1
VeDebug Public

Regression debugging tool for Java

Java 4 1

Repositories

roosterize-vscode Public
VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

TypeScript 1 MIT 0 0 2 Updated Oct 7, 2022
jattack Public
Compiler Testing using Template Java Programs

Java 1 1 0 0 Updated Sep 30, 2022
predictiverts Public

Python 0 1 0 0 Updated Sep 20, 2022
CoditT5 Public
Code and data for "CoditT5: Pretraining for Source Code and Natural Language Editing" in ASE 2022.

Python 6 MIT 1 0 0 Updated Sep 7, 2022
time-segmented-evaluation Public
Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

Python 6 MIT 1 0 0 Updated Sep 6, 2022
math-comp-corpus Public
Corpus of Coq code related to MathComp including several machine-readable representations

Common Lisp 8 1 0 0 Updated Sep 6, 2022
roosterize Public
Tool for suggesting lemma names in Coq verification projects

Python 15 MIT 5 2 0 Updated Sep 6, 2022
inlinetest Public

Python 4 MIT 0 0 0 Updated Aug 30, 2022
hdlp Public
Code and data for "On the Naturalness of Hardware Descriptions" in ESEC/FSE'20

Java 2 MIT 2 0 0 Updated Jul 11, 2022
codeowners Public
Creates CODEOWNERS file for a give repo

Shell 0 BSD-3-Clause 0 0 0 Updated May 25, 2021

View all repositories

People

Top languages

Loading…

Most used topics

Loading…