Efeslab
Efeslab at the University of Washington
Popular repositories Loading
Repositories
Showing 10 of 97 repositories
- UopRepl-Artifact Public
efeslab/UopRepl-Artifact’s past year of commit activity - genmc Public Forked from MPI-SWS/genmc
Generic model checker for concurrent C programs (mirror repository)
efeslab/genmc’s past year of commit activity - ispy-ripple Public
efeslab/ispy-ripple’s past year of commit activity - leveldb Public Forked from google/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
efeslab/leveldb’s past year of commit activity - rocksdb-squint Public Forked from facebook/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
efeslab/rocksdb-squint’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…