Skip to content

Instantly share code, notes, and snippets.

View tatac1's full-sized avatar

Toru Tomita tatac1

8 followers · 15 following
  • Cyber Defense Institute, Inc.
  • Japan
View GitHub Profile
@tatac1
tatac1 / gist:000ec3ba7530754ad556
Last active December 5, 2022 07:57
error message when use proxy.. "*** Exception: Network/HTTP/Client/Manager.hs:(334,9)-(336,45): Non-exhaustive patterns in case"
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}
import Network.Connection (TLSSettings (..))
import Network.HTTP.Conduit
import Network.HTTP.Types.Status
import qualified Data.ByteString.Char8 as B
import qualified Data.Text as T
import Data.Time.Clock
import Data.Time.Calendar
@tatac1
tatac1 / pksc11.java
Created May 7, 2014 10:34
import java.io.*;
import java.util.*;
import java.security.cert.CertificateException;
import java.security.KeyStoreException;
import java.security.cert.X509Certificate;
import java.security.KeyStore;
import java.security.Provider;
import java.security.Security;
public class SmartCard {
@tatac1
tatac1 / gist:074b8d21cb21a4e9939e
Created May 4, 2014 08:35

Installing mt-daapd on Arch linux of Raspberry

wget https://aur.archlinux.org/packages/mt/mt-daapd/mt-daapd.tar.gz
tar xfz mt-daapd.tar.gz
cd mt-daapd
makepkg -Acs # <- makepkg -s command get arch error so that
@tatac1
tatac1 / gist:10228492
Last active August 29, 2015 13:58
hs-java build on mac os x 10.8 with ghc 7.6.3 
$git clone https://github.com/MateVM/hs-java  
$cd hs-java
$cabal sandbox init 
$cabal install --only-dependencies
$export GHC_PACKAGE_PATH=$(pwd)/.cabal-sandbox/x86_64-osx-ghc-7.6.3-packages.conf.d:/Library/Frameworks/GHC.framework/Versions/7.6.3-x86_64/usr/lib/ghc-7.6.3/package.conf.d
$make all
@tatac1
tatac1 / gist:9090682
Last active August 29, 2015 13:56
install z3 v4.1.1 on Mac 10.9
$brew install gcc4.8
$brew install dos2unix
$git clone https://git01.codeplex.com/z3
$cd z3
$git checkout -b v4.1.1 refs/tags/v4.1.1
$autoconf
$./configure
$make -j8 CXX=g++-4.8 CC=gcc-4.8
@tatac1
tatac1 / gist:9016280
Created February 15, 2014 08:39
tagstream and http-conduit combination
{-# LANGUAGE OverloadedStrings #-}
import qualified Data.Conduit.Binary as CB
import qualified Data.Conduit.List as CL
import qualified Text.HTML.TagStream.ByteString as TS
import Data.Conduit
import Network.HTTP.Conduit
main :: IO ()
main = do
@tatac1
tatac1 / gist:9016249
Created February 15, 2014 08:37
{-# LANGUAGE OverloadedStrings
, FlexibleContexts
, ScopedTypeVariables #-}
import ParsecRFC3164
import Data.Conduit.Network
import Data.Conduit
import Data.Conduit.Binary
import Data.ByteString (ByteString)
@tatac1
tatac1 / gist:8670611
Last active December 5, 2022 07:55
a http-conduit sample
{-# LANGUAGE OverloadedStrings #-}
import Network.HTTP.Conduit
import Network.HTTP.Types.Status
import Network
import Data.Time.Clock
import Data.Time.Calendar
import qualified Control.Exception as E
import qualified Data.ByteString.Lazy as L
past :: UTCTime
past = UTCTime (ModifiedJulianDay 56200) (secondsToDiffTime 0)
@tatac1
tatac1 / WCF Binary Insertion Point.py
Created January 28, 2014 02:58 — forked from ncoblentz/WCF Binary Insertion Point.py
# -*- coding: utf-8 -*-
"""
Created on Thu Jan 10 08:20:14 2013
@author: Nick Coblentz
"""
from burp import IBurpExtender
from burp import IScannerInsertionPointProvider
from burp import IScannerInsertionPoint
@tatac1
tatac1 / gist:5893560
Created June 30, 2013 02:34
Tanimoto coefficient
module Tanimoto where
import NLP.Scores
import Data.Set
a = fromAscList ['b','c','d','e']
i = fromAscList ['b','c','d']
main = do
jaccard a i