dbp/literatecoq dbp/literatecoq

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language Coq
  • License
    ISC License
  • Created almost 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dbp/literatecoq
github

dbp

Reviews

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

Repository Details

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

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