tani

% SPDX-License-Identifier: MIT-0
%
% MIT No Attribution License (MIT-0)
%
% Permission is hereby granted, free of charge, to any person obtaining a copy
% of this software and associated documentation files (the "Software"), to deal
% in the Software without restriction, including without limitation the rights
% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
% copies of the Software, and to permit persons to whom the Software is
% furnished to do so.

tani

// Copyright (c) Masaya Taniguchi.
// This software is licensed under the Public Domain.
//
// Isabelle overrides the existing keybindings.
// This script prevents this behaviour with some properties.
//
// Usage
// $ deno run -A ./override.ts Emacs_keys.props imported_keys.props >> ../properties

import { readLines } from "https://deno.land/std@0.192.0/io/mod.ts"

tani

// ==UserScript==
// @name        Show Weekly Diff / esa.io
// @namespace   io.github.tani
// @match       https://*.esa.io/posts/*
// @grant       none
// @version     1.0
// @author      Masaya Taniguchi
// @description 2023/5/11 18:40:31
// @require     https://cdn.jsdelivr.net/npm/dayjs@1/dayjs.min.js
// ==/UserScript==

tani

import pandoc from "https://cdn.jsdelivr.net/gh/tani/deno-pandoc/out/mod.js";
import * as MediaType from "https://deno.land/x/media_types@v2.3.7/mod.ts";
import * as Eta from "https://deno.land/x/eta@v1.12.3/mod.ts";
import * as Yaml  from "https://deno.land/std@0.114.0/encoding/yaml.ts";
import { serve } from "https://deno.land/std@0.114.0/http/server.ts";

const { pathname: dirname } = new URL('.', import.meta.url)

async function handleRequest(request: Request): Promise<Response> {
  const { pathname } = new URL(request.url)

tani

#NoEnv
#Warn
SendMode Input
SetWorkingDir %A_ScriptDir%
!c::
  Send,^c
  ClipWait
  StringReplace,clipboard,clipboard,`r`n, ,All

tani

// Fuzzy matching written by TANIGUCHI Masaya
// Public Domain

function findAllMatches(pattern: string, source:string) {
  const indicesList: number[][] = pattern.split("").map(char => {
    return ([] as number[]).concat(
      ...source.split("").map((c, i) => c === char ? [i] : [])
    )
  })
  function recur(acc: number[], i: number): number[][] {

tani

lualatex('-shell-escape -synctex=1 -interaction=nonstopmode -halt-on-error');

$aux_dir = 'build';
$out_dir = 'build';
$makeindex = 'upmemdex';
$bibtex = 'upbibtex';
$biber = 'biber --bblencoding=utf8 -u -U --output_safechars';

sub pdflatex {
  $pdf_mode = 1;

tani

;;
;; # SPACK
;;
;; SPACK is a toy package system for LISP.
;;
;; ## Syntax
;;
;; Predefined functions and variables are unprefixed.
;; User-defined functions and variables are prefixed by package
;; declared by `spack/defpackage'. There is a separator `/' between

tani

#lang racket
(require srfi/1)

(define (walk-bfs-n node)
  ;; ((walk-bfs-n '(a (b c d) e)) list)
  (lambda (k)
    (if (list? node)
        (let* ((label (first node))
               (nodes (rest node))
               (labels (map (lambda (node) (call/cc (walk-bfs-n node))) nodes)))

tani

FROM debian:10

WORKDIR /work
ENV LANG=C.UTF-8

#
# Install dependencies
#
RUN apt-get update \
    && apt-get upgrade -y \