copumpkin/vector-sparse

Stars
2
Language
Haskell
License
BSD 3-Clause "New...
Created about 14 years ago
Updated about 14 years ago

copumpkin/vector-sparse

copumpkin

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

Efficient sparse vectors

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

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