• Stars
    star
    3
  • Rank 3,892,074 (Top 79 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 13 years ago
  • Updated about 9 years ago

Reviews

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

Repository Details

Basic haskell wrapping around the email service Postmark (http://postmarkapp.com)

More Repositories

1

sublime-rust

DEPRECATED: see rust-lang/rust-enhanced (new maintainer)
42
star
2

howtoproveacompiler

Writeup that goes along with this:
Coq
37
star
3

funtal

FunTAL: mixing a functional language with assembly.
JavaScript
37
star
4

howtoprovefullabstraction

Writeup that goes along with this:
Coq
14
star
5

hspec-snap

Haskell
13
star
6

rustle

OUTOFDATE: a rust api search, inspired by hoogle
Rust
12
star
7

heist-async

Asynchronous page updates for heist
JavaScript
9
star
8

rustrepl

A simple repl for rust
Rust
8
star
9

literatecoq

Coq
6
star
10

isl-spec

Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck
Racket
6
star
11

migrate

Haskell
3
star
12

rustfmt

A standalone binary to do rust pretty printing. A wrapper around code from libsyntax.
Rust
3
star
13

shoebox

Shoebox: a durable repository for human-scale collections of files, like the shoebox full of old letters and family photos discovered 50 years later.
Haskell
3
star
14

amazon-emailer

A simple daemon to process messages put into a postgresql table and mail them out using amazons SES.
Haskell
3
star
15

thistle

Haskell
2
star
16

rivet-old

DEPRECATED
Haskell
2
star
17

digestive-functors-snap-heist

DEPRECATED: Backend for digestive-functors built to work with the heist frontend
Haskell
2
star
18

snap-testing

DEPRECATED IN FAVOR OF HSPEC-SNAP
Haskell
2
star
19

dnplayer

A simple player for Democracy Now! that remembers where you are.
JavaScript
2
star
20

snap-logging-mongodb

Simple logging for Snap applications - does both time to generate pages and access counts by user
Haskell
2
star
21

docker-ubuntu-halcyon

2
star
22

heroku-snap-example

Haskell
1
star
23

positionsites

JavaScript
1
star
24

heroku-test

1
star
25

shed

A from-scratch re-implementation of Perkeep, now abandoned in favor of
Haskell
1
star
26

pyret-tc

A type checker for the Pyret programming language
1
star
27

littlecity

Ruby
1
star
28

housetab-legacy

A shared expense tracking system, online at http://housetab.org
Haskell
1
star
29

captcha

Python
1
star
30

analyze-client

Client for analyze service
Haskell
1
star
31

website

JavaScript
1
star
32

digestive-functors-heist

Heist Frontend for Digestive Functors
Haskell
1
star
33

mealstrat

Haskell
1
star
34

heroku-test-housetab

JavaScript
1
star