• Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    JavaScript
  • License
    BSD 3-Clause "New...
  • Created over 13 years ago
  • Updated almost 11 years ago

Reviews

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

Repository Details

Asynchronous page updates for heist

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

rustrepl

A simple repl for rust
Rust
8
star
8

literatecoq

Coq
6
star
9

isl-spec

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

email-postmark

Basic haskell wrapping around the email service Postmark (http://postmarkapp.com)
Haskell
3
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

housetab-legacy

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

heroku-snap-example

Haskell
1
star
24

positionsites

JavaScript
1
star
25

heroku-test

1
star
26

shed

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

pyret-tc

A type checker for the Pyret programming language
1
star
28

littlecity

Ruby
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