orderlab Goto Github PK
Name: Ordered Systems Lab
Type: Organization
Bio: The Ordered Systems Lab at University of Michigan CSE
Location: United States of America
Blog: https://orderlab.io
Name: Ordered Systems Lab
Type: Organization
Bio: The Ordered Systems Lab at University of Michigan CSE
Location: United States of America
Blog: https://orderlab.io
Arthas: Checkpoint and Selective Rollback for PMEM Systems
Memcached with collected bugs for Arthas evaluation
Redis with collected bugs for Arthas evaluation
Modified PMDK with support for Arthas
An attempt to provide advanced battery stats for Android
Language specs of CPL
AOSP Build system compatible version of Open GApps
ZooKeeper benchmark in Go
:microscope: JaCoCo - Java Code Coverage Library
DataStax Java Driver for Apache Cassandra
Java Versioned STM
KLEE Symbolic Execution Engine
LeaseOS project website
AOSP frameworks/base repo with Lease OS changes
AOSP libcore repo with Lease OS changes
Local manifests file to override the AOSP repo manifests
AOSP packages/apps/Settings repo with Lease OS changes
AOSP system/sepolicy repo with Lease OS changes
Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
Linux kernel source tree
Linux kernel development bootcamp
httpd modification for the Obi-Wan project
LevelDB modification for Obi-Wan project
MySQL modification for the Obi-Wan project
Nginx modification for the Obi-Wan project
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.