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/20190825215550/https://github.com/lampepfl/dotty

Research compiler that will become Scala 3 https://dotty.epfl.ch

scala scala3 epfl language-server-protocol compiler

Scala Java TypeScript HTML CSS Shell

Find File

Clone or download

liufengyun Merge pull request #7096 from dotty-staging/fix-#7086

Fix #7086: Don't export overriding symbols

Latest commit 0d0c006

Aug 25, 2019

Name	Latest commit message	Commit time
Failed to load latest commit information.
.github	Add PR templates	Jun 17, 2019
.vscode-template	Remove tests from .vscode-template/settings.json	Feb 8, 2019
bench	Cross-compile bench with the 2.13 stdlib	Aug 19, 2019
bin	Fix current working directory for building Dotty from cmdline wrappers	May 7, 2018
community-build	fix merge conflict in ParallelTesting	Aug 23, 2019
compiler	Fix #7086 : Don't export overriding symbols	Aug 25, 2019
dist/bin	Remove duplicate path in dotc (thanks @michelou )	Jun 11, 2019
doc-tool
docs	Fix #7086 : Don't export overriding symbols	Aug 25, 2019
interfaces/src/dotty/tools/dotc/interfaces	Fix #6538 : Make interfaces.SourcePosition resilient to missing sources	May 28, 2019
language-server	Update SignatureHelpTest for the 2.13 stdlib	Aug 25, 2019
library	Adapt tasty-reflect for the changes in Signature	Aug 23, 2019
project	Bump reference compiler to the previous commit	Aug 25, 2019
sandbox/scalajs	Emit Scala.js JUnit bootstrappers for JUnit test classes.	May 2, 2019
sbt-bridge	Port sbt-bridge unit tests to 2.13 stdlib	Aug 19, 2019
sbt-dotty	Adapt sbt scripted tests for the 2.13 stdlib	Aug 24, 2019
tests	Format test code	Aug 25, 2019
vscode-dotty	vscode-dotty: Bump to 0.1.15-snapshot	Feb 27, 2019
.drone.yml	Bump reference compiler to the previous commit	Aug 25, 2019
.gitattributes	honor -encoding compiler flag and defaults	Sep 7, 2016
.gitignore	Merge pull request #6310 from dotty-staging/disable-full-decompilatio…	Apr 16, 2019
.gitmodules	Update scala-xml for the 2.13 stdlib	Aug 19, 2019
.jvmopts	Allow deeper inlines in sbt	Oct 24, 2017
.mailmap	Add .mailmap git file for correct display of names	Mar 4, 2019
AUTHORS.md	add plugin authors [CI SKIP]	Mar 20, 2018
CONTRIBUTING.md	Remove references to the mailing-list	Nov 16, 2017
LICENSE.md	Create LICENSE.md	Feb 6, 2014
README.md	Fix typo in README	Jul 5, 2019
build.sbt	Fix #6872 : Move dotty-semanticdb to the community build	Jul 17, 2019
scalastyle-config.xml	EnsureSingleSpaceAfterTokenChecker doesn't work. Use regexp instead.	Apr 9, 2015

README.md

Dotty

Try it out

To try it in your project see also the Getting Started User Guide.

Code of Conduct

Dotty uses the Scala Code of Conduct for all communication and discussion. This includes both GitHub, Gitter chat and other more direct lines of communication such as email.

How to Contribute

Contribute Internals-related Knowledge

If you know anything useful at all about Dotty, feel free to log this knowledge:

In short, no need to make it pretty, particularly human-readable or give it a particular structure. Just dump the knowledge you have and we'll take it from there.

License

Dotty is licensed under the 3-Clause BSD License

You can’t perform that action at this time.

Please note that GitHub no longer supports your web browser.

lampepfl/dotty

Join GitHub today

Clone with HTTPS

Downloading...

Launching GitHub Desktop...