tildedave/primitive-recursive-peano tildedave/primitive-recursive-peano

  • Stars
    star
    2
  • Language
    Haskell
  • License
    Other
  • Created about 14 years ago
  • Updated about 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tildedave/primitive-recursive-peano
github

tildedave

Reviews

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

Repository Details

Unfinished implementation of a primitive recursive encoding of the theory of Peano arithmetic.

More Repositories

1

universal-react-without-node

Examples of Universal React without a Node.js Backend
M4
47
star
2

flux-feature-flags

Demo of using Flux for Feature Flag Awesomeness
JavaScript
39
star
3

docker-nightwatch-xvfb

Dockerfiles for Nightwatch.js and Xvfb
16
star
4

jasmine-mocks

Mock library for JavaScript using Jasmine spies (DON'T USE)
JavaScript
14
star
5

apep-chess-engine

Chess engine that I hacked up in grad school
C++
3
star
6

ra-chess-engine

Golang chess engine I'm hacking up
Go
3
star
7

cloudfiles-manager

Browser-based manager for Rackspace Cloud Files
JavaScript
3
star
8

init.el

My .emacs directory
Emacs Lisp
3
star
9

jlift

JLift code analyzer -- add annotations to Java programs, output the information flows
Java
2
star
10

greenbar

Python TDD Server
JavaScript
2
star
11

siggen

Determine the external library dependencies of a Java project; uses Cornell's Polyglot Java parser/translater.
Java
2
star
12

deploybot

Deploy engine I wrote to push code from Atlassian's Bamboo for a legacy app
JavaScript
2
star
13

jlift-frontend

JLift code analyzer frontend -- convert code into a 'known' syntax, strip comments, fix various ugliness, etc
Java
1
star
14

rfc1035-clojure

DNS implementation in Clojure
Clojure
1
star
15

restmock

Mock RESTful server for serving mostly static content for testing clients
Clojure
1
star
16

simp-lemon

Rewrite of Simp in C++ using Lemon graph framework (Thesis Program)
1
star
17

simp

OCaml graph processing: minimum cut and dominator calculation (Thesis Program)
1
star
18

cassandra-flask-sessions

Cassandra Session Backend for Flask
Python
1
star
19

git-learning

1
star
20

go-finite-fields

Finite field stuff in golang
Go
1
star
21

coq-playground

Trying to improve at Coq
Coq
1
star
22

go-http2-impl

Learning Go, implementing HTTP 2.0
Go
1
star
23

tildedave.com

My blog at tildedave.com
HTML
1
star
24

react-router-lightboxes

UI State Demo with react-router
JavaScript
1
star
25

httpmock.js

mock HTTP server, specified by a DSL, written in node.js
JavaScript
1
star
26

ancient-qbasic-games

QBasic Games from Junior High
1
star
27

go-hashtables

Some hash table implementations in golang
Go
1
star
28

QuickReturnDemo

Demo of quick return pattern for iOS
Swift
1
star
29

rust-number-theory

Implementing algorithms from A Course In Computational Algebraic Number Theory
Rust
1
star