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)

mgd020

# http://isthe.com/chongo/tech/comp/fnv/
# https://tools.ietf.org/html/draft-eastlake-fnv-11

    
FNV_PARAMS = {
    # bits -> prime, offset basis
    # see http://isthe.com/chongo/tech/comp/fnv/
    32: (16777619, 2166136261),
    64: (1099511628211, 14695981039346656037),
    128: (309485009821345068724781371, 144066263297769815596495629667062367629),