OCaml で書かれた Python 型チェックツール。Facebook 製。FlowType の用な感じで使えそう。
mypy があるが、こちらはおそらく高速を売りにしている気がする。たぶん。
python/mypy: Optional static typing for Python 2 and 3 (PEP484)
#!/usr/bin/zsh | |
# This is intend to generate image with cdrdao in Linux and mount with DAEMON Tools in Windows. | |
# If you give -r as first argument, This program reads disc with cdrdao. | |
# Any prefix means file name without extension. | |
# For example, "foo/bar" means foo/bar.{bin,toc,cue} | |
# Usage: | |
# mk-windows-virtual-disc.zsh <existing_image_prefix> <output_prefix> | |
# mk-windows-virtual-disc.zsh -r <linux_output_prefix> <windows_output_prefix> | |
if [[ $1 == "-r" ]] |
OCaml で書かれた Python 型チェックツール。Facebook 製。FlowType の用な感じで使えそう。
mypy があるが、こちらはおそらく高速を売りにしている気がする。たぶん。
python/mypy: Optional static typing for Python 2 and 3 (PEP484)
2020/5/31追記:
自分用のメモに書いていたつもりだったのですが、たくさんのスターを頂けてとても嬉しいです。
と同時に、書きかけで中途半端な状態のドキュメントをご覧いただくことになっており、大変心苦しく思っています。
このドキュメントを完成させるために、今後以下のような更新を予定しています。
2021/1/22追記:
Hide private address on Amazon
hide-address.user.css
.# reference: https://github.com/sqlalchemy/sqlalchemy/issues/5626 | |
import pytest | |
import sqlalchemy as sa | |
from sqlalchemy import orm | |
from sqlalchemy.ext.asyncio import create_async_engine, AsyncSession | |
Base = orm.declarative_base() | |
import requests, glob, json, datetime, re | |
UUDI_TO_PROFILE_URL = "https://sessionserver.mojang.com/session/minecraft/profile/{uuid}" | |
achivements_pattern = re.compile(r'minecraft:(story|nether|end|adventure|husbandry)/.*') | |
files = glob.glob("*.json") | |
user = {} | |
for file in files: | |
uuid = file.split(".")[0] |
flowchart TB
A[あり] --> B[なし] --> B
B --> A
A --> C[ついて] --> E[る] --> C
C --> D[ない] --> F[あれ]
F --> G[どっち] --> G
G --> I[trans] --> I
I --> I
I --> I
% クラスファイルを指定 | |
% jlreqはW3Cで勧告されている日本語組版処理の要件を満たすクラスファイル | |
% jarticle, jreport, jbookなどは古い上に日本語組版処理の要件を満たしていないため使わない | |
\documentclass[ | |
% LuaLaTeXを使う | |
luatex, | |
% 用紙サイズをA4にする | |
paper=a4paper, | |
% 欧文のフォントサイズを11ptにする | |
fontsize=11pt, |