Skip to content

Instantly share code, notes, and snippets.

View bavardage's full-sized avatar

Ben Duffield bavardage

58 followers · 9 following
View GitHub Profile
@bavardage
bavardage / sanify.sh
Created March 29, 2010 19:42
#!/bin/bash
cd $1
convertdir=`pwd`
cd "$convertdir"
mkdir results
@bavardage
bavardage / fogo.py
Created February 16, 2010 15:06
from math import cos, sin, pi
def rotate(pos, theta):
x,y = pos
c = cos(theta)
s = sin(theta)
return (x*c + y*s, x*s - y*c)
# example
@bavardage
bavardage / BinaryLogic.hs
Created February 15, 2010 00:10
module BinaryLogic where
type PVar = Int
data Boolean = T | F deriving Show
data Logic a = Boole Boolean | Var PVar | Conn a (Logic a) (Logic a) deriving Show
type Assignment = (PVar -> Boolean)
foldLogic :: Connective b => (Boolean -> a) -> (PVar -> a) -> (b -> a -> a -> a) -> (Logic b) -> a
@bavardage
bavardage / Logic.hs
Created February 7, 2010 17:22
subFormulas :: PL -> [PL]
subFormulas = foldLogic
((:[]) . Boole)
((:[]) . Var)
(\p -> Not (head p) : p)
(\c p q -> Conn c (head p) (head q) : (p ++ q))
@bavardage
bavardage / logic.hs
Created January 31, 2010 11:38
import Prelude hiding (print, negate)
import Data.List (nub)
data PVar = X Int deriving (Eq,Ord)
x = Var . X
data Connective = And | Or | Imp | Bi
data Boolean = T | F deriving Eq
data PL = Boole Boolean | Var PVar | Not PL | Conn Connective PL PL
type Substitution = (PVar -> PL)
@bavardage
bavardage / exp.m
Created January 27, 2010 23:21
MODULE exp;
IMPORT Out;
PROCEDURE exponent*(x,n: INTEGER):INTEGER;
VAR
y,z,k: INTEGER;
BEGIN
y := 1;
@bavardage
bavardage / lol.hs
Created December 30, 2009 22:31
nub :: Eq a => [a] -> [a]
nub = foldr (\x ys->if x `elem` ys then ys else (x:ys)) []
@bavardage
bavardage / perms.hs
Created December 30, 2009 15:03
type Perm = [Int]
data Parity = Odd | Even deriving Show
oddtest = [1,3,2,4,5] :: Perm
eventest = [1,4,2,3,5] :: Perm
genPairs :: Int -> [(Int, Int)]
genPairs l = [(a,b) | a <- [1..l], b <- [1..l], a < b]
@bavardage
bavardage / homep.html
Created December 29, 2009 23:47
<html>
<head>
<title>* Gwent Energy CIC *</title>
<link href="gecss.css" rel="stylesheet" type="text/css">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body>
<div id="wrap">
<div id="header">
<img class="logo"
@bavardage
bavardage / gecss.css
Created December 29, 2009 23:47
html, body {
background-color: #a0c060;
padding: 0;
}
#wrap {
width: 800px;
margin: 0 auto;
background-color: #80a020;
border: 1px solid black;