Dan Peebles

Categories parametrized by morphism equality, in Agda

(Eventually) a reasonably complete ARM implementation in Haskell

A Haskell library for manipulating Java class files

A collection of IDA scripts

A slightly different flavor of generic programming

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

Nix Packages collection

Sequences of bits and common operations on them

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

Memory map vectors

Rational numbers for Agda

No description.

A simplistic xcodebuild implementation in nix

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

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

Tinkering with ideas for better pickler combinators

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

Efficient sparse vectors

MPFR bindings for Haskell

A simple Haskell interface to the GNU binutils libopcodes library

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

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

Experiments using the Carv sensor inserts without the official app

Nothing useful to see here yet

Some crappy code for highlighting Agda

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.

Flexible Scala code linting tool

sbt, a build tool for Scala

SDK target for opensource.apple.com code

playground for working with succinct data structures

Easy, painless AWS credentials on developer laptops.

Sources for nixos.org

App for automatically running rpm-ostree, generating disk images

Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.

Store RPMs in OSTree repository, and atomically upgrade from commits

Nix packages for unmaintained but historically interesting software

Xcode-compatible build tool.

A simple python script to translate chinese to pinyin based on Mandarin.dat

Linux kernel source tree

gives a fake chroot environment

NixOS configurations for nixos.org and its servers

The Nix community RFCs

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

Pants Build System

Source of the NixCon 2017 website

Personal servers and also my router config.

The Darwin Kernel (mirror)

Nix, the purely functional package manager

Official documentation source for the AWS Identity and Access Management (IAM) User Guide

MonoSAT - An SMT solver for Monotonic Theories

The low-level, core functionality of boto 3.

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

AWS SDK for Rust

The Z3 Theorem Prover

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

Agent to enable remote management of your Amazon EC2 instance configuration.

No description.

We Use Coins website.

No description.

Gremlin Rust