View mwhittaker.cls
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\NeedsTeXFormat{LaTeX2e} | |
\ProvidesClass{mwhittaker} | |
\LoadClass[12pt]{article} | |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | |
% Imports | |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | |
\RequirePackage[compact]{titlesec} | |
\RequirePackage[letterpaper,margin=1in]{geometry} | |
\RequirePackage{fancyhdr} |
View consensus.key
This file has been truncated, but you can view the full file.
View AB.tla
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--------------------------------- MODULE AB --------------------------------- | |
EXTENDS Integers, Sequences | |
CONSTANT Data | |
(***************************************************************************) | |
(* We first define Remove(i, seq) to be the sequence obtained by removing *) | |
(* element number i from sequence seq. *) | |
(***************************************************************************) | |
Remove(i, seq) == |
View BPaxos.key
This file has been truncated, but you can view the full file.
View LearningPrograms.key
This file has been truncated, but you can view the full file.
View paxos_talk.key
This file has been truncated, but you can view the full file.
View wat_provenance_RISEwinter19.key
This file has been truncated, but you can view the full file.
View .gitignore
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
*.html | |
.DS_Store | |
################################################################################ | |
# vim | |
################################################################################ | |
# Swap | |
[._]*.s[a-v][a-z] | |
[._]*.sw[a-p] | |
[._]s[a-v][a-z] |
View division.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
group: division | |
R = { a:string, b:number | |
a, 1 | |
a, 2 | |
a, 3 | |
b, 2 | |
b, 3 | |
c, 1 | |
} |
View hash_join.cc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <iostream> | |
#include <map> | |
#include <tuple> | |
#include <utility> | |
#include <vector> | |
#include "range/v3/all.hpp" | |
using namespace ranges; |
NewerOlder