This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
10-10-24-5-18-14-13-24 | |
https://suchalkin.wixsite.com/greek/klyuchi | |
“I beseech thee, O queen,—a goddess art thou, or art thou mortal? | |
If thou art a goddess, one of those who hold broad heaven, | |
to Artemis, the daughter of great Zeus, | |
do I liken thee most nearly in comeliness and in stature and in form. | |
γουνοῦμαί σε, ἄνασσα· θεός νύ τις ἦ βροτός ἐσσι; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
p = {{0, 0.5, 0.5}, {0.25, 0.5, 0.25}, {0.25, 0.25, 0.25}} | |
P = {{0, 0.5, 0, 0, 0, 0.5, 0, 0, 0}, | |
{0.33, 0, 0.33, 0, 0.33, 0, 0, 0, 0}, | |
{0, 0.5, 0, 0.5, 0, 0, 0, 0, 0}, | |
{0, 0, 0.33, 0, 0.33, 0, 0, 0, 0.33}, | |
{0, 0.25, 0, 0.25, 0, 0.25, 0, 0.25, 0}, | |
{0.33, 0, 0, 0, 0.33, 0, 0.33, 0, 0}, | |
{0, 0, 0, 0, 0, 0.5, 0, 0.5, 0}, | |
{0, 0, 0, 0, 0.33, 0, 0.33, 0, 0.33}, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from datetime import date, timedelta | |
import urllib.request, urllib.error, urllib.parse | |
import re, os | |
# TODO: | |
# Ad libitum | |
# Psalmodia complementaris | |
def hora_name(n): | |
if n == 2: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#canvas { | |
border-style: solid; | |
width: 60vw; | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Versus de Passione D.N.J.C. | |
Amíci mei et próximi mei: * advérsum me appropinquavérunt et stetérunt. | |
Tráditus sum et non egrediébar:* óculi mei languérunt præ inópia. | |
Et factus est sudor meus: * sicut guttæ sánguinis decurréntis in terram. | |
Circumdedérunt me canes multi:* concílium malignántium obsédit me. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from os import listdir | |
DIR = "./Martyrologium1960" | |
months = ["_Jan_", "_Feb_", "_Mar_", "_Apr_", "_May_", "_Jun_", "_Jul_", "_Aug_", | |
"_Sep_", "_Oct_", "_Nov_", "_Dec_"] | |
files = [] | |
for f in listdir(DIR): | |
if f.endswith(".txt"): |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
# +AMDG This document was begun just before Christmas, | |
# 2010, and it is humbly dedicated to St. Wulfric, patron of | |
# bookbinders, and to the Immaculate Heart of Mary for their | |
# prayers, and to the Sacred Heart of Jesus for His mercy. | |
# | |
#**********************************************************# | |
# makebook # | |
# written by Donald P. Goodman III # | |
# Copyright (C) 2011 # |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# usage: | |
# $ sh mksigs.sh 24 input.pdf | |
D=$1 | |
INPUT=$2 | |
I=1 | |
N=$(qpdf --show-npages $INPUT) | |
SIGN=1 | |
mkdir out_$INPUT |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<< front >> | |
13 12 | |
4 5 | |
1 8 | |
16 9 | |
back | |
11 14 | |
6 3 | |
7 2 | |
10 15 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package org.jmlspecs.samples.jmltutorial; | |
public class Person { | |
private /*@ spec_public non_null @*/ String name; | |
private /*@ spec_public @*/ int weight; | |
/*@ public invariant !name.equals("") | |
@ && weight >= 0; @*/ | |
/*@ also |
NewerOlder