shuaimu

refcell-cpp

rococo

ds19spring

CSE535 Asynchronous (Distributed) Systems 2019 Spring

paper_skel

enhanced paper skeleton

homepage

my homepage: http://mpaxos.com

rrr

NYU-CSCI-UA.0201

cloudfuse

Filesystem (fuse) implemented on Mosso's Cloud Files

CloudFusion

Linux file system (FUSE) to access Dropbox, Sugarsync, Amazon S3, Google Storage, Google Drive or WebDAV servers.

coq-tricks

Tricks you wish the Coq manual told you

csbib

elegant bibliography for computer science

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

disel

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations.

DrTLAPlus

Dr. TLA+ series

ds19spring-labs

gdrive

Google Drive CLI Client

google-drive-ocamlfuse

FUSE filesystem over Google Drive

goolong

Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

jplag

JPlag - Detecting Software Plagiarism

mcqc

A Gallina compiler with C++17 as an intermediate representation

nodejs-pool

oeuf

gallina frontend for CompCert

on-epaxos-correctness

On the correctness of Egalitarian Paxos

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes

seastar

High performance server-side application framework

skicka

Command-line utility for working with Google Drive. Join the mailing list at https://groups.google.com/forum/#!forum/skicka-users.

software-foundations

Mirror of “Software Foundations”, by Benjamin Pierce et al.

verdi

A framework for formally verifying distributed systems implementations in Coq

verdi-chord

An implementation of the Chord lookup protocol verified in Coq using the Verdi framework