copumpkin/drepa copumpkin/drepa

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
  • Created over 13 years ago
  • Updated about 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
copumpkin/drepa
github

copumpkin

Reviews

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

Repository Details

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

More 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

vector-mmap

Memory map vectors
Haskell
7
star
9

rational

Rational numbers for Agda
6
star
10

fingertree

4
star
11

rverse

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

macho

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

containers

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

nixcodebuild

A simplistic xcodebuild implementation in nix
Nix
3
star
15

picklers

Tinkering with ideas for better pickler combinators
Haskell
3
star
16

peano

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

vector-sparse

Efficient sparse vectors
Haskell
2
star
18

opcodes

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

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
20

matrices

Fun with matrices in Agda
1
star
21

opencarv

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

agda-highlight

Some crappy code for highlighting Agda
Haskell
1
star
23

rustnapshotter

Nothing useful to see here yet
Rust
1
star
24

primes

Experiments with primality in Agda
1
star
25

software-history

Nix packages for unmaintained but historically interesting software
1
star