Dan Peebles

Categories parametrized by morphism equality, in Agda

(Eventually) a reasonably complete ARM implementation in Haskell

The Foundation Project, providing core utilities, internationalization, and OS independence

No description provided.

Experiments using the Carv sensor inserts without the official app

A slightly different flavor of generic programming

A Haskell library for manipulating Java class files

Sequences of bits and common operations on them

Automatically exported from code.google.com/p/iphone-wireless

A collection of IDA scripts

Nothing useful to see here yet

Gremlin Rust

A simplistic xcodebuild implementation in nix

Nix Packages collection

Statically checked vectors (a mostly failed experiment in representing vector lengths statically to avoid runtime checks, but was inspiration for great things to come ;))

Some old (dirty) ruby reversing code I wrote, mostly up so I don't lose it

Efficient sparse vectors

Some crappy code for highlighting Agda

Experimenting with heuristics for deciding statements in peano arithmetic

Haskell library for parsing Mach-O object format

Proofs about containers and their relationships to algebraic structures in agda

A dependently typed model of the repa (herpa?) library in Agda

Rational numbers for Agda

No description provided.

MPFR bindings for Haskell

Experiments with primality in Agda

Interactive Scala REPL in a browser

Fun with matrices in Agda

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

A simple Haskell interface to the GNU binutils libopcodes library