Skip to content

Instantly share code, notes, and snippets.

View m1dnight's full-sized avatar

Christophe De Troyer m1dnight

View GitHub Profile

Keybase proof

I hereby claim:

  • I am m1dnight on github.
  • I am cdetroye (https://keybase.io/cdetroye) on keybase.
  • I have a public key whose fingerprint is 2CC3 A6B2 5121 4824 96A3 7410 30AE DA18 9BBA E2C2

To claim this, I am signing this object:

import requests
import json
from requests.auth import HTTPBasicAuth
####################################################################################
# Author: Christophe De Troyer #
# Created: 09/10/2015 #
# Version: 1.0 #
# #
# Description: #
module Parse where
import Text.Parsec
import Text.Parsec.Combinator
import Syntax
import Data.List
----------------------
-- Main entry point --
----------------------
@m1dnight
m1dnight / pop3.hs
Created January 11, 2016 13:23
Minimal POP3 client in Haskell
module Main where
import Network.Socket hiding (send, sendTo, recv, recvFrom)
import Network.Socket.ByteString (send, recv)
import qualified Data.ByteString.Char8 as B8
main :: IO()
main = client' 110
{
module Main (main) where
}
%wrapper "monadUserState"
$digit = 0-9 -- digits
$alpha = [a-zA-Z] -- alphabetic characters
-- Each token has a function on the RHS that is a function (String ->
module UnificationLearning
// Unification algorithm
//
// Portions Copyright (C) 2012 by Tomas Petricek
// Copyright (C) 2012 by Eric Taucher
// License: Creative Commons BY-SA Version 3.0
//
// This code is derived from a StackOverflow answer by Tomas Petricek
// See: http://stackoverflow.com/a/9525471/1243762
//
@m1dnight
m1dnight / Main.hs
Created June 26, 2016 05:24
Simply Typed Lambda Calculus
module Main where
import Data.Maybe
-- ____ _ _ _____ _
-- / ___|(_)_ __ ___ _ __ | |_ _ |_ _| _ _ __ ___ __| |
-- \___ \| | '_ ` _ \| '_ \| | | | | | || | | | '_ \ / _ \/ _` |
-- ___) | | | | | | | |_) | | |_| | | || |_| | |_) | __/ (_| |
-- |____/|_|_| |_| |_| .__/|_|\__, | |_| \__, | .__/ \___|\__,_|
-- _ |_| _ |___/_ |___/|_| _ _
-- | | __ _ _ __ ___ | |__ __| | __ _ / ___|__ _| | ___ _ _| |_ _ ___
@m1dnight
m1dnight / Main.hs
Created June 29, 2016 18:27
Session Typed Lambda Calculus (Vasconcelos 2006)
module Main where
import Control.Arrow
import Debug.Trace
import Control.Monad.State
import Data.List hiding (union)
import Data.Maybe
import Syntax
import Text.Printf
-- ____ _ _____ _
@m1dnight
m1dnight / Lexer.x
Created June 30, 2016 02:32
Monadic Parser and Lexer using Alex and Happy
{
module Lexer where
}
%wrapper "monadUserState"
$digit = 0-9 -- digits
$alpha = [a-zA-Z] -- alphabetic characters
-- Each token has a function on the RHS that is a function (String ->
@m1dnight
m1dnight / keybase.md
Created October 5, 2017 07:35
keybase.md

Keybase proof

I hereby claim:

  • I am m1dnight on github.
  • I am cdetroye (https://keybase.io/cdetroye) on keybase.
  • I have a public key ASCtmf-HaRWcx6ZP3JDcypdFDFn9tCYtdew0riLZLZoe0wo

To claim this, I am signing this object: