This file contains 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
cabal install fast-tagsoup --extra-include=$(brew --prefix icu4c)/include --extra-lib-dirs=$(brew --prefix icu4c)/lib/ |
This file contains 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
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
import Control.Monad.Trans.Class (lift) | |
import Control.Monad.IO.Class | |
import Control.Monad.Trans.Control () | |
import Data.Conduit | |
import Data.Conduit.Network | |
import Data.Conduit.Attoparsec |
This file contains 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
{-# LANGUAGE OverloadedStrings #-} | |
module ParsecRFC3164 | |
( | |
parseRFC3164 | |
, RFC3164 | |
, PRI | |
, Severity | |
, Facility | |
, Header |
This file contains 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
module SyslogTypes where | |
data Priority = | |
DEBUG -- ^ Debug messages | |
| INFO -- ^ Information | |
| NOTICE -- ^ Normal runtime conditions | |
| WARNING -- ^ General Warnings | |
| ERROR -- ^ General Errors | |
| CRITICAL -- ^ Severe situations | |
| ALERT -- ^ Take immediate action |
This file contains 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
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 |
This file contains 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
# -*- 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 |
This file contains 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
{-# 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) |
This file contains 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
{-# LANGUAGE OverloadedStrings | |
, FlexibleContexts | |
, ScopedTypeVariables #-} | |
import ParsecRFC3164 | |
import Data.Conduit.Network | |
import Data.Conduit | |
import Data.Conduit.Binary | |
import Data.ByteString (ByteString) |
This file contains 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
{-# 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 |
This file contains 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
$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 |
OlderNewer