paulkoerbitz/nixpkgs
Nix Packages collection
Developer Profile
paulkoerbitz
Discovered public repositories for paulkoerbitz in the GitHub catalog.
paulkoerbitz/rpn-demo
A simple Haskell introduction demonstrating a few features while implementing a RPN calculator
paulkoerbitz/hsbci
A fast, modular and simple HBCI library for Haskell
paulkoerbitz/papers
A Git annex repository of papers
paulkoerbitz/rbtree
Certified RedBlack trees in Idris
paulkoerbitz/hbci4java
Fork of HBCI4Java (from http://hbci4java.kapott.org), that contains support for chipTAN, smsTAN, HHD, SEPA and other fixes/enhancements
paulkoerbitz/Idris-dev
A Dependently Typed Functional Programming Language
paulkoerbitz/idfXt
An Xmonad clone written in Idris
paulkoerbitz/X11
X11 bindings for Idris
paulkoerbitz/xmonad
xmonad in Coq
paulkoerbitz/rust
a safe, concurrent, practical language
paulkoerbitz/sqlpp11
A type safe SQL template library for C++
paulkoerbitz/orderbook
A simple orderbook written in Haskell
paulkoerbitz/easy6502
Public repository.
paulkoerbitz/slice-ice-gen
Slice file variable mangling
paulkoerbitz/slice-cpp-gen
C++ skeleton generation from slice files
paulkoerbitz/language-slice
Parsing and AST for ZeroC's Slice intermediate definition language (ice)
paulkoerbitz/el-get
Manage the external elisp bits and pieces upon which you depend!
paulkoerbitz/bivar
Bivariate pricing methods
paulkoerbitz/paulkoerbitz.github.io
Public repository.
paulkoerbitz/pauls_tools
Some simple python tools I keep using, mostly to process and plot data
paulkoerbitz/clj-mcmc
A Markov chain Monte Carlo toolkit in Clojure
paulkoerbitz/uncert
A program to compute replication errors via Monte Carlo
paulkoerbitz/jurenal
An experimental clojure blog for google app engine
paulkoerbitz/lyx_table_parser
converts a lyx file to a tex file and extracts the first table