nathanielherman / stoLinks
Software Transactional Objects
☆20Updated 7 years ago
Alternatives and similar repositories for sto
Users that are interested in sto are comparing it to the libraries listed below
Sorting:
- RDF Graph Database (http://grid.hust.edu.cn/triplebit/)☆11Updated 10 years ago
- Fast distributed-memory oscillatory integration via the butterfly algorithm☆8Updated 11 years ago
- Yesquel: scalable SQL storage for Web apps☆42Updated 8 years ago
- A simple Tiger to MIPS compiler, written in Standard-ML☆23Updated 11 years ago
- Scrypt opencl kernel written in AMD GCN ISA assembly language☆20Updated 10 years ago
- AllConcur: Algorithm for LeaderLess CONCURrent atomic broadcast☆30Updated 8 years ago
- ☆21Updated 10 years ago
- SILT: A Memory-Efficient, High-Performance Key-Value Store☆177Updated 3 years ago
- A complete, production-quality Java parser for the SQL language.☆10Updated 10 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆48Updated 9 years ago
- FOEDUS main source code repository☆63Updated 7 years ago
- Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs☆10Updated 9 years ago
- Several graph algorithms in Common Lisp.☆8Updated 4 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Updated 10 years ago
- ☆32Updated 7 years ago
- The SprayList data structure☆33Updated 8 years ago
- NVM key-value store API lIbrary repository.☆88Updated 11 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Transparent Paxos☆44Updated 6 years ago
- silly-k is an experimental language inspired by K and APL☆16Updated 7 months ago
- Pinocchio VM☆20Updated 4 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- Pure Type Systems for Functional Programming☆31Updated 4 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- LLAMA Graph Analytics Engine☆41Updated 7 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Source for SibylFS model and test tools☆35Updated 4 years ago
- Meld virtual machine.☆29Updated 9 years ago
- Efficient and customisable compression of short strings☆49Updated 8 years ago