Skip to content

Instantly share code, notes, and snippets.

View aiya000's full-sized avatar
🐶
Inu

aiya000 aiya000

🐶
Inu
View GitHub Profile
@myuon
myuon / rev.hs
Created December 1, 2016 12:53
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE DataKinds, GADTs, TypeFamilies, PolyKinds, TypeOperators #-}
{-# LANGUAGE RankNTypes, TypeApplications #-}
import Prelude(($), putStrLn)
-- equality
infix 2 ==
data (==) :: k -> k -> * where
Refl :: a == a
@chrisdone
chrisdone / Printf.idr
Last active May 27, 2024 13:01
Type-safe dependently-typed printf in Idris
module Printf
%default total
-- Formatting AST.
data Format
= FInt Format
| FString Format
| FOther Char Format
| FEnd
@z80oolong
z80oolong / 00_TMUX_FIX.md
Last active October 4, 2021 22:50
tmux 2.5 以降において East Asian Ambiguous Character を全角文字の幅で表示する

tmux 2.5 以降において East Asian Ambiguous Character を全角文字の幅で表示する

告知 (2019/03/15, 2020/04/29)

これまで、本稿の Gist にて公開しておりました [tmux 2.5][TMUX] 以降において [East Asian Ambiguous Character][EAWA] を全角文字の幅で表示する為の差分ファイルについて、差分ファイルの分量が多くなったことに伴い、今後は以下の [Github][GITH] のリポジトリにて [tmux][TMUX] の [East Asian Ambiguous Character][EAWA] 対応差分ファイルを公開することと致します。

また、今後 [East Asian Ambiguous Character][EAWA] 対応の [tmux][TMUX] の導入を御考えの方は、後述する [Linuxbrew][BREW] を用いた差分ファイルの適用及びインストール若しくは、 [AppImage パッケージ][APPR]を用いたインストールを御勧め致します。

@IlIlIlIl
IlIlIlIl / madoko-header-full.mdk
Last active July 26, 2018 11:29
madoko-header-full.mdk
Title : Fooooo
Author : You
Affiliation : Research institute
Email : [email protected]
Colorizer : javascript
Bib style : plainnat
Bibliography : example
Logo : True
@erikbern
erikbern / use_pfx_with_requests.py
Last active April 10, 2025 07:17
How to use a .pfx file with Python requests – also works with .p12 files
import contextlib
import OpenSSL.crypto
import os
import requests
import ssl
import tempfile
@contextlib.contextmanager
def pfx_to_pem(pfx_path, pfx_password):
''' Decrypts the .pfx file to be used with requests. '''
Usage...
Vcxsrv [:<display>] [option]
:display-number
Vcxsrv runs as the given display-number, which defaults to 0.
To run multiple instances, use unique display-numbers.
-a # default pointer acceleration (factor)
-ac disable access control restrictions
-audit int set audit trail level
@mohemohe
mohemohe / softether.service
Last active March 12, 2021 08:00
netctlで固定IPにしてsoftetherしようとしたらVPNインターフェースの生成より先にnetctlが上がってきてクッソ困ったでござるの巻 ExecUpPreがないからhookできないでござるよ ニンニン
[Unit]
Description=exec softether
BindsTo=sys-subsystem-net-devices-enp2s0.device
After=sys-subsystem-net-devices-enp2s0.device
[Service]
Type=simple
ExecStart=/sh/softether.sh
[Install]
@UnaNancyOwen
UnaNancyOwen / tutorial.md
Last active December 1, 2023 03:44
How to write CMakeLists

CMakeLists Tutorial

ここでは、基本的な設定スクリプト(CMakeLists.txt)の書き方を紹介します。
(主にVisual C++向けに説明します。)

Basic Uses

CMakeでC++のプロジェクトを生成するための最小限必要のスクリプトを説明します。

  • cmake_minimum_required
    CMakeの最小要求バージョンを設定します。
{-# LANGUAGE OverloadedStrings #-}
import Control.Concurrent (threadDelay)
import Control.Lens
import Control.Monad.IO.Class (liftIO)
import Control.Monad.State
import Data.List (nub, isPrefixOf)
import Data.Text.Lazy.Encoding (decodeUtf8)
import Data.Text.Lens (unpacked)
import qualified Network.Wreq as Wreq
@south-str
south-str / defineFold.js
Created December 24, 2015 08:09
Javascriptでfoldを実装してみたメモ
/*
fold(reduce, inject)を定義するまでの足跡
JavascriptのArray.prototype.reduce()はちょっと定義がおかしい。
引用元(MDN[https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Global_Objects/Array/reduce])
>>構文
>>var result = array.reduce(callback[, initialValue]);
>>引数
>>callback:4つの引数をとって、配列内の各値に対し実行するコールバック関数
>> previousValue:現在処理されている配列要素の 1 つ前の要素。もしくは、initialValue。 initialValue については、後で述べます。