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: ArchiveBot: The Archive Team Crowdsourced Crawler

ArchiveBot is an IRC bot designed to automate the archival of smaller websites (e.g. up to a few hundred thousand URLs). You give it a URL to start at, and it grabs all content under that URL, records it in a WARC, and then uploads that WARC to ArchiveTeam servers for eventual injection into the Internet Archive (or other archive sites).

To use ArchiveBot, drop by #archivebot on EFNet. To interact with ArchiveBot, you issue commands by typing it into the channel. Note you will need channel operator permissions in order to issue archiving jobs. The dashboard shows the sites being downloaded currently.

There is a dashboard running for the archivebot process at http://www.archivebot.com.

ArchiveBot's source code can be found at https://github.com/ArchiveTeam/ArchiveBot.

TIMESTAMPS

The Wayback Machine - https://web.archive.org/web/20200917143442/https://github.com/gallais

gallais Follow

gallais Follow

G. Allais gallais

Follow

166 followers · 187 following · 143

Dundee, Scotland
http://gallais.github.io

Highlights

Arctic Code Vault Contributor
Pro

Organizations

Pinned

idris-lang/Idris2

A purely functional programming language with first class types

Idris 759 121
generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

Agda 50 5
typing-with-leftovers

Self-contained repository for the eponymous paper

Agda 19 2
agdarsec

Total Parser Combinators in Agda

Agda 63 5
idris-tparsec

TParsec - Total Parser Combinators in Idris

Idris 70 8
agda/agda-stdlib

The Agda standard library

Agda 319 139

909 contributions in the last year

Activity overview

Contributed to msp-strath/Mary, agda/agda-stdlib, idris-lang/Idris2 and 5 other repositories

Contribution activity

September 2020

Created a pull request in idris-lang/Idris2 that received 3 comments

[ refactor ] Introducing Namespace and ModuleIdent

Until now namespaces were stored as (reversed) lists of strings. It led to: confusing code where we work on the representation rather than say wh…

+818 −426 • 3 comments

[ re #660 ] Various bugfixes to the positivity checker Sep 16
[ re #660 ] Positivity checking for empty types Sep 14
[ fix #650 ] Lazier match in NPrimVal vs. ConCase Sep 9
[ debug ] pretty printer for case trees Sep 9
[ refactor ] introducing Namespace Sep 4
[ fix #632 ] Namespaces can be empty Sep 3

[ refactor ] level polymorphism Sep 8

fix idiom brackets to account for IAlternative Sep 17
Added missing extension check on top-level %runElab Sep 15
[contrib] Add misc libraries to contrib Sep 14
add specifier check for cli compilation Sep 14
add ability to target scheme flavor in foreign specifiers Sep 11
Fix bug #654 Sep 9
[ refactor ] introducing Namespace Sep 4
[ refactor ] Introducing Namespace and ModuleIdent Sep 3

Created an issue in idris-lang/Idris2 that received 1 comment

Error: INTERNAL ERROR: $m is not a function application

Steps to Reproduce test : Nat test = let foo : (m, n : Nat) -> m === n -> Nat foo .m m Refl = Z in foo Z Z Refl Observed Behavior 1/1: Building let…

1 comment

5 contributions in private repositories Sep 7

You can’t perform that action at this time.