copumpkin/shaped

Stars
9
Rank 1,939,727 (Top 39 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 10 years ago
Updated over 10 years ago

copumpkin/shaped

copumpkin

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A slightly different flavor of generic programming

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

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