There are no reviews yet. Be the first to send feedback to the community and the maintainers!
sublime-rust
DEPRECATED: see rust-lang/rust-enhanced (new maintainer)howtoproveacompiler
Writeup that goes along with this:funtal
FunTAL: mixing a functional language with assembly.howtoprovefullabstraction
Writeup that goes along with this:hspec-snap
rustle
OUTOFDATE: a rust api search, inspired by hoogleheist-async
Asynchronous page updates for heistrustrepl
A simple repl for rustliteratecoq
isl-spec
Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheckemail-postmark
Basic haskell wrapping around the email service Postmark (http://postmarkapp.com)migrate
rustfmt
A standalone binary to do rust pretty printing. A wrapper around code from libsyntax.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.amazon-emailer
A simple daemon to process messages put into a postgresql table and mail them out using amazons SES.thistle
rivet-old
DEPRECATEDsnap-testing
DEPRECATED IN FAVOR OF HSPEC-SNAPdnplayer
A simple player for Democracy Now! that remembers where you are.snap-logging-mongodb
Simple logging for Snap applications - does both time to generate pages and access counts by userdocker-ubuntu-halcyon
housetab-legacy
A shared expense tracking system, online at http://housetab.orgheroku-snap-example
positionsites
heroku-test
shed
A from-scratch re-implementation of Perkeep, now abandoned in favor ofpyret-tc
A type checker for the Pyret programming languagelittlecity
captcha
analyze-client
Client for analyze servicewebsite
digestive-functors-heist
Heist Frontend for Digestive Functorsmealstrat
heroku-test-housetab
Love Open Source and this site? Check out how you can help us