Readable Systems Group at Harvard

Readable Systems Group at Harvard's repositories

sto

Software Transactional Objects

Language:C++MIT52 14 5

cs260r-17

Main repository for Harvard CS260r 2017.

Language:Coq10 20

cicada-engine

The Cicada engine

Language:C++1 10

cicada-core

Language:C++020

cicada-exp-sigmod2017

Cicada SIGMOD 2017 evaluation

Language:Python020

cicada-exp-sigmod2017-DBx1000

A fork of DBx1000 for Cicada SIGMOD 2017 evaluation

Language:C++020

cicada-exp-sigmod2017-silo

A fork of Silo for Cicada SIGMOD 2017 evaluation

Language:C++MIT010

ermia

Language:C++MIT020

foedus_code

FOEDUS main source code repository

Language:C++GPL-2.0020

noria

Dynamically changing, partially-stateful data-flow for web application backends.

Language:RustApache-2.0010

rpmalloc

Public domain cross platform lock free thread caching 32-byte aligned memory allocator implemented in C

Language:CNOASSERTION020

silo

Multicore in-memory storage engine

Language:C++MIT030

sto-codegen

Code generation scripts for STO

Language:Python020

sto-scripts

The one place to look for scripts that run STO-related benchmarks

Language:Python080

xxHash

Extremely fast non-cryptographic hash algorithm

Language:CNOASSERTION020

foedus

Language:C++GPL-2.0020

masstree-beta

Beta release of Masstree.

Language:C++NOASSERTION080