Git Product home page Git Product logo

Shuai Mu's Projects

cider-ide icon cider-ide

Automatically exported from code.google.com/p/cider-ide

cloudfuse icon cloudfuse

Filesystem (fuse) implemented on Mosso's Cloud Files

cloudfusion icon cloudfusion

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

commuter icon commuter

Automated multicore scalability testing tool

csbib icon csbib

elegant bibliography for computer science

csrankings icon csrankings

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

disel icon disel

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

ds19spring icon ds19spring

CSE535 Asynchronous (Distributed) Systems 2019 Spring

ironclad icon ironclad

The MSR Ironclad project builds provably secure and reliable systems.

jplag icon jplag

JPlag - Detecting Software Plagiarism

mcqc icon mcqc

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

oeuf icon oeuf

gallina frontend for CompCert

quickcite icon quickcite

The lazy academic's friend. Automatically find references and update BibTeX entries.

redis icon 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

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.