Skip to content

Instantly share code, notes, and snippets.

Avatar

Kotet kotet

View GitHub Profile
@kotet
kotet / getlist.py
Created Jun 3, 2016
フォローイング/フォロワーの作ったリストをリストにする。めちゃくちゃ時間がかかる。
View getlist.py
import tweepy
from progressbar import ProgressBar
from requests_oauthlib import OAuth1Session
import argparse
from time import sleep
import json
argparser = argparse.ArgumentParser()
argparser.add_argument("api_key")
argparser.add_argument("api_secret")
@kotet
kotet / LICENCE
Last active Dec 1, 2016
Dman cow file
View LICENCE
この 作品 は クリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下に提供されています。
http://creativecommons.org/licenses/by/4.0/
@kotet
kotet / LICENCE
Last active Dec 1, 2016
Mini Dman cow file
View LICENCE
この 作品 は クリエイティブ・コモンズ 表示 4.0 国際 ライセンスの下に提供されています。
http://creativecommons.org/licenses/by/4.0/
@kotet
kotet / DMAN
Last active Dec 3, 2016
D-man AA
View DMAN
____
L__L|
/ \
/ \
/ _______ \
\ \#/ \/ \ /
\|#| O| O|#\
|#L _L__ #|
|###| |##|
/###/ /##|
@kotet
kotet / binary.d
Created Jul 5, 2017
binary.h in D
View binary.d
mixin template binary(T)
{
mixin(() {
import std.conv : to;
import std.range : chain, only, iota;
import std.string : rightJustify, format;
string result = "";
foreach (n; iota(0, T.max).chain(T.max.only))
View report-generator.sh
json=$(curl -s --header "PRIVATE-TOKEN: $REPORT_GENERATOR_TOKEN" https://gitlab.com/api/v4/projects/$PROJECT_ID/issues?state=opened)
len=$(echo $json | jq length)
echo '<head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"></head><body>'
echo "<h1>" $(date) "</h1>"
for i in $( seq 0 $(($len - 1)) ); do
item=$(echo $json | jq ".[$i]")
@kotet
kotet / qm.d
Created Jul 1, 2018
Quine-McCluskey algorithm
View qm.d
// (a & b) + (¬a & c) → [[T,T,X],[N,X,T]]
enum Literal
{
T, // Term
N, // ¬Term
X // Null
}
alias Conjunction = Literal[];
alias DNF = Conjunction[]; // Disjunctive normal form
@kotet
kotet / cramer.hs
Last active Jul 5, 2018
クラーメルの公式 in Haskell
View cramer.hs
import Data.List
-- 行列式
det :: [[Rational]] -> Rational
det [[a]] = a
det (a:b) | sum (map abs a) == 0 = 0
| head a == 0 = negate $ det (map (\ (a:b) -> b ++ [a]) (a:b))
| otherwise = (head a) * (det $ sub a b)
where sub a bs = map (\b -> tail(zipWith (\x y -> y - x * ((head b) / (head a))) a b)) bs
View kotet.svg
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@kotet
kotet / mkws.sh
Last active Oct 5, 2018
ディレクトリ整理
View mkws.sh
mkws() {
local dhome="$HOME"
local droot="workspace"
local ddate="$(date '+%Y/%m-%d')"
local dname="${1:-space}"
local dseparator="."
local dsalt="$(cat /dev/urandom | tr -dc 'a-z' | head -c 4)"
local d="$dhome/$droot/$ddate/$dname$dseparator$dsalt"
mkdir -p -v "$d"