AdrienHorgnies

from typing import Any, Sequence


def ascii_table(rows: Sequence[Sequence[Any]]) -> str:
    """
    Format the rows in an ascii table.
    First row is considered to be the header
    Numbers are right justified, everything else is left justified
    See example below:
    

AdrienHorgnies

import time
from collections import Counter
from dataclasses import dataclass, field
from hashlib import sha512
from typing import List

import matplotlib.pyplot as plt
import numpy as np
from tqdm import trange

AdrienHorgnies

#!/bin/bash
set -e

HERE=$(dirname $(realpath $0))

rm -rf local remote.git

git init --bare $HERE/remote.git

git clone $HERE/remote.git local