timjb

{
  "@context": {
    "@version": 1.1,
    "@protected": true,
    "summary": "https://w3id.org/2023/tractusx/credentials/summary/",
    "id": "@id",
    "type": "@type",
    "SummaryCredential": {
      "@context": [
        "https://gist.githubusercontent.com/timjb/520915f8cb527443102aff793b481988/raw/9fa7f71462afdeed2b2aa2d8aef66480784466e0/credentials.json"

timjb

namespace BigNats {

type RepeatHelper<N extends number, T extends any, CurrList extends T[], CurrSizes extends number[]> =
  CurrSizes extends [1]
    ? (CurrList["length"] extends N ? ["found", CurrList] : ["not-found", Cons<T,CurrList>])
    : {
        "true": RepeatHelper<N, T, CurrList, Tail<CurrSizes>> extends ["not-found", infer NewCurrList]
                  ? RepeatHelper<N, T, Cast<NewCurrList, T[]>, Tail<CurrSizes>>
                  : RepeatHelper<N, T, CurrList, Tail<CurrSizes>>
      }[CurrSizes extends [-1] ? "not-going-to-happen" : "true"];

timjb

// adapted from https://stackoverflow.com/a/28345802

import org.junit.rules.TestRule;
import org.junit.runner.Description;
import org.junit.runners.model.Statement;

public class RepeatRule implements TestRule {

    private static class RepeatStatement extends Statement {
        private final Statement statement;

timjb

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE RecordWildCards #-}

module GithubUser where

import JSONFormat

timjb

/* angepasster CSS-Code von */
/* https://marketpress.de/2019/schriftarten-atomion/ */

body,
button,
select,
optgroup,
textarea {
    font-family: mr-eaves-sans, sans-serif;
}

timjb

module SizedTrees where

open import Agda.Builtin.Size

data list (A : Set₀) : Set₀ where
  nil : list A
  cons : A → list A → list A

map : ∀{A B} → (A → B) → list A → list B
map f nil = nil

timjb

#!/usr/bin/env zsh

print -- "usage: $0:t"
print -- "   generate a password using the ypassword method"
print -- "   See http://ypassword.espozito.com for more informations"

passfile="$HOME/.passwd"

echo -n "Enter your master password please: "
oldmodes=$(stty -g)

timjb

use std::cmp::Ordering;

struct UnionFindEntry {
  parent: usize,
  rank: usize,
}

struct UnionFind {
  trees: Vec<UnionFindEntry>,
}

timjb

module Main where

import Data.List (intercalate)
import Control.Monad (forM_)

type Nat = Int
type Prime = Nat
type HashFunction = Int -> Int
type HashFunctionFamily = Nat -> HashFunction

timjb

Instructions

This intended to be used together with seafile-docker installed in /var/seafile.

To install:

$ sudo vim /etc/systemd/system/seafile.service # paste the file above
$ sudo systemctl enable /etc/systemd/system/seafile.service
$ sudo systemctl start seafile.service