copumpkin/peano copumpkin/peano

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • Created almost 14 years ago
  • Updated almost 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
copumpkin/peano
github

copumpkin

Reviews

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

Repository Details

Experimenting with heuristics for deciding statements in peano arithmetic

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

drepa

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

vector-mmap

Memory map vectors
Haskell
7
star
10

rational

Rational numbers for Agda
6
star
11

fingertree

4
star
12

rverse

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

macho

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

containers

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

nixcodebuild

A simplistic xcodebuild implementation in nix
Nix
3
star
16

picklers

Tinkering with ideas for better pickler combinators
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