Discover @copumpkin Open Source projects

Daniel Peebles (@copumpkin)

copumpkin

Stars
315
Global Rank 85,591 (Top 3 %)
Followers 626
Following 141
Registered over 16 years ago
Most used languages

Haskell
61.1 %

Agda 11.1 %

Ruby
5.6 %

Rust
5.6 %

Python
5.6 %

Nix
5.6 %

Objective-C
5.6 %
Location 🇺🇸 United States
Country Total Rank 20,699
Country Ranking

Agda 2

Haskell
323

Nix
426

Objective-C
3,461

Rust
8,936

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

iphone-wireless

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

bitvector

Sequences of bits and common operations on them

drepa

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

vector-mmap

Memory map vectors

rational

Rational numbers for Agda

fingertree

rverse

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

macho

Haskell library for parsing Mach-O object format

containers

Proofs about containers and their relationships to algebraic structures in agda

nixcodebuild

A simplistic xcodebuild implementation in nix

picklers

Tinkering with ideas for better pickler combinators

peano

Experimenting with heuristics for deciding statements in peano arithmetic

vector-sparse

Efficient sparse vectors

opcodes

A simple Haskell interface to the GNU binutils libopcodes library

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 ;))

matrices

Fun with matrices in Agda

opencarv

Experiments using the Carv sensor inserts without the official app

agda-highlight

Some crappy code for highlighting Agda

rustnapshotter

Nothing useful to see here yet

primes

Experiments with primality in Agda

software-history

Nix packages for unmaintained but historically interesting software