copumpkin/opencarv

Stars
1
Language
License
MIT License
Created 10 months ago
Updated 10 months ago

copumpkin/opencarv

copumpkin

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

Experiments using the Carv sensor inserts without the official app

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

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