Beast code in Giters

Paul Koerbitz's repositories

A type safe SQL template library for C++

Language:C++BSD-2-Clause000

A simple orderbook written in Haskell

Language:HaskellBSD-3-Clause200

Language:JavaScript000

C++ skeleton generation from slice files

Language:HaskellBSD-3-Clause000

Parsing and AST for ZeroC's Slice intermediate definition language (ice)

Language:HaskellBSD-3-Clause100

Slice file variable mangling

BSD-3-Clause000

Bivariate pricing methods

Language:Haskell100

xmonad in Coq

Language:CoqNOASSERTION000

A Markov chain Monte Carlo toolkit in Clojure

Language:Clojure100

A program to compute replication errors via Monte Carlo

Language:C++000

An experimental clojure blog for google app engine

Language:Clojure000

converts a lyx file to a tex file and extracts the first table

Language:Python000