TLA+ · GitHub

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/20200916122819/https://github.com/tlaplus

Pinned repositories

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java 1.3k 96
Examples

A collection of TLA+ specifications of varying complexities

TLA 629 92
DrTLAPlus

Dr. TLA+ series

TLA 510 61
tlapm

The TLA Proof Manager

OCaml 9 6
CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TLA 62 12
PlusPy

Python interpreter for TLA+ specifications

Python 51 4

Repositories

tlapm

The TLA Proof Manager

OCaml BSD-2-Clause 6 9 4 1 Updated Sep 16, 2020
tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

java algorithms high-performance verification specifications model-checking mit-license

1 package Java MIT 96 1,282 103 (22 issues need help) 6 Updated Sep 16, 2020
conf

CSS CC-BY-4.0 0 0 0 0 Updated Sep 9, 2020
Examples

A collection of TLA+ specifications of varying complexities

algorithm protocol pluscal tlaplus

TLA 92 629 3 (1 issue needs help) 0 Updated Sep 1, 2020
awesome-tlaplus
Forked from kaelzhang81/awesome-tlaplus
A curated list of TLA+ resources.

6 27 1 0 Updated Aug 27, 2020
CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

pluscal tlaplus tla-specification

TLA MIT 12 62 4 0 Updated Aug 20, 2020
PlusPy

Python interpreter for TLA+ specifications

python interpreter tla

Python MIT 4 51 0 0 Updated Jun 10, 2020
www

http://www.tlapl.us

HTML MIT 0 0 0 0 Updated Apr 27, 2020
DrTLAPlus

Dr. TLA+ series

algorithm protocol pluscal tlaplus

TLA 61 510 0 0 Updated Jan 28, 2020

Top languages

Loading…

Most used topics

Loading…

People

You can’t perform that action at this time.