mgd020

import json
import re
from collections.abc import Sequence
from dataclasses import dataclass
from datetime import date, datetime, time, timedelta
from decimal import Decimal
from typing import Any
from uuid import UUID

mgd020

from hashlib import blake2s
from hmac import compare_digest
from typing import NamedTuple


def encode(key: bytes, value: int, expiry: int, key_id=0) -> str:
    """
    Encrypt and MAC a value + expiry + key_id.

    Params:

mgd020

import random
import time
from uuid import UUID


UUID7_MASK = ((1 << 80) - 1) ^ (0xf << 76) ^ (0x3 << 62)
UUID7_SET = (0x7 << 76) | (0x2 << 62)


def uuid7() -> UUID:

mgd020

from dataclasses import dataclass
from datetime import datetime, timedelta


TIME_FORMAT = '%H:%M:%S,%f'


def load_time(s: str) -> float:
    t = datetime.strptime(s, TIME_FORMAT)
    return (t - t.replace(hour=0, minute=0, second=0, microsecond=0)).total_seconds()

mgd020

function parseHTML(html) {
	var template = document.createElement('template');
	template.innerHTML = html;
	return template.content;
}

mgd020

import time
from typing import List, NamedTuple

from django.core.cache import caches


class RateLimit(NamedTuple):
    seconds: int
    limit: int

mgd020

isEu = function() {
    var euCountryCodes = new Set(['be', 'el', 'lt', 'pt', 'bg', 'es', 'lu', 'ro', 'cz', 'fr', 're', 'gp', 'mq', 'gf', 'yt', 'bl', 'mf', 'pm', 'wf', 'pf', 'nc', 'hu', 'si', 'dk', 'fo', 'gl', 'hr', 'mt', 'sk', 'de', 'it', 'nl', 'aw', 'cw', 'sx', 'fi', 'ax', 'ee', 'cy', 'at', 'se', 'ie', 'lv', 'pl', 'uk', 'gb', 'ai', 'bm', 'io', 'vg', 'ky', 'fk', 'gi', 'ms', 'pn', 'sh', 'tc', 'gg', 'je', 'im']);

    return function isEu() {
        return (
            Intl.DateTimeFormat().resolvedOptions().timeZone.startsWith('Europe/') ||
            euCountryCodes.has((navigator.userLanguage || navigator.language).slice(0, 2))
        );
    }    
}();

mgd020

from fractions import Fraction, gcd


def matrix_determinant(m):
    """determinant using laplace transform"""
    size = len(m)
    assert len(m[0]) == size
    if size == 2:
        return m[0][0] * m[1][1] - m[0][1] * m[1][0]
    return sum(

mgd020

import sys


def getsizeof_deep(o, verbose=False):
    default_size = sys.getsizeof(0)

    seen = set()
    todo = [o]
    size = 0

mgd020

# encoding: US-ASCII
# stolen largely from http://www.ruby-forum.com/topic/140784

require 'stringio'
require 'fileutils'

def extract_chunk(input, output)
  lenword = input.read(4)
  length = lenword.unpack('N')[0]
  type = input.read(4)