dbp/digestive-functors-heist dbp/digestive-functors-heist

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 13 years ago
  • Updated about 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dbp/digestive-functors-heist
github

dbp

Reviews

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

Repository Details

Heist Frontend for Digestive Functors

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

email-postmark

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

migrate

Haskell
3
star
13

rustfmt

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

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
15

amazon-emailer

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

thistle

Haskell
2
star
17

rivet-old

DEPRECATED
Haskell
2
star
18

digestive-functors-snap-heist

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

snap-testing

DEPRECATED IN FAVOR OF HSPEC-SNAP
Haskell
2
star
20

dnplayer

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

snap-logging-mongodb

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

docker-ubuntu-halcyon

2
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

housetab-legacy

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

captcha

Python
1
star
31

analyze-client

Client for analyze service
Haskell
1
star
32

website

JavaScript
1
star
33

mealstrat

Haskell
1
star
34

heroku-test-housetab

JavaScript
1
star