Daniel Peebles (@copumpkin)

Top repositories

1

categories

Categories parametrized by morphism equality, in Agda
Agda
147
star
2

java

A Haskell library for manipulating Java class files
Haskell
15
star
3

charm

(Eventually) a reasonably complete ARM implementation in Haskell
Haskell
14
star
4

ida-scripts

A collection of IDA scripts
Python
13
star
5

shaped

A slightly different flavor of generic programming
Haskell
9
star
6

iphone-wireless

Automatically exported from code.google.com/p/iphone-wireless
Objective-C
9
star
7

bitvector

Sequences of bits and common operations on them
Agda
7
star
8

drepa

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

vector-mmap

Memory map vectors
Haskell
7
star
10

rational

Rational numbers for Agda
6
star
11

fingertree

4
star
12

rverse

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

macho

Haskell library for parsing Mach-O object format
Haskell
3
star
14

containers

Proofs about containers and their relationships to algebraic structures in agda
3
star
15

nixcodebuild

A simplistic xcodebuild implementation in nix
Nix
3
star
16

picklers

Tinkering with ideas for better pickler combinators
Haskell
3
star
17

peano

Experimenting with heuristics for deciding statements in peano arithmetic
Haskell
3
star
18

vector-sparse

Efficient sparse vectors
Haskell
2
star
19

opcodes

A simple Haskell interface to the GNU binutils libopcodes library
Haskell
2
star
20

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 ;))
Haskell
2
star
21

matrices

Fun with matrices in Agda
1
star
22

opencarv

Experiments using the Carv sensor inserts without the official app
1
star
23

agda-highlight

Some crappy code for highlighting Agda
Haskell
1
star
24

rustnapshotter

Nothing useful to see here yet
Rust
1
star
25

primes

Experiments with primality in Agda
1
star
26

software-history

Nix packages for unmaintained but historically interesting software
1
star