Dan Peebles

categories. Categories parametrized by morphism equality, in Agda

java. A Haskell library for manipulating Java class files

charm. (Eventually) a reasonably complete ARM implementation in Haskell

ida-scripts. A collection of IDA scripts

shaped. A slightly different flavor of generic programming

nixpkgs. Nix Packages collection

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

vector-mmap. Memory map vectors

bitvector. Sequences of bits and common operations on them

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

rational. Rational numbers for Agda

fingertree.

macho. Haskell library for parsing Mach-O object format

nixcodebuild. A simplistic xcodebuild implementation in nix

peano. Experimenting with heuristics for deciding statements in peano arithmetic

containers. Proofs about containers and their relationships to algebraic structures in agda

picklers. Tinkering with ideas for better pickler combinators

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

vector-sparse. Efficient sparse vectors

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

opcodes. A simple Haskell interface to the GNU binutils libopcodes library

cloudmapper. CloudMapper helps you analyze your Amazon Web Services (AWS) environments.

rounded. MPFR bindings for Haskell

nixos-org-configurations. NixOS configurations for nixos.org and its servers

succinct. playground for working with succinct data structures

network. Personal servers and also my router config.

amazon-ssm-agent. Agent to enable remote management of your Amazon EC2 instance configuration.

scala-open-letter.github.io. Ruby

darwin-xnu. The Darwin Kernel (mirror)

iam-user-guide. Official documentation source for the AWS Identity and Access Management (IAM) User Guide

wuc-new. We Use Coins website.

scala. Scala 2 compiler and standard library. For bugs, see scala/bug

botocore. The low-level, core functionality of boto 3.

fakechroot. gives a fake chroot environment

rusoto. AWS SDK for Rust

nixcon2017. Source of the NixCon 2017 website

pay-to-sudoku. Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment

opencarv. Experiments using the Carv sensor inserts without the official app

rfcs. The Nix community RFCs

rustnapshotter. Nothing useful to see here yet

linuxkit-builder. An easy to use Linux builder for macOS, repo [maintainer=@grahamc]

z3. The Z3 Theorem Prover

pants. Pants Build System

monosat. MonoSAT - An SMT solver for Monotonic Theories

rpm-ostree-toolbox. App for automatically running rpm-ostree, generating disk images

wartremover. Flexible Scala code linting tool

hologram. Easy, painless AWS credentials on developer laptops.

nix. Nix, the purely functional package manager

software-history. Nix packages for unmaintained but historically interesting software

primes. Experiments with primality in Agda

rpm-ostree. Store RPMs in OSTree repository, and atomically upgrade from commits