Concurrent : Functional Concurrency Primitives
author: typelift
created: 2014-09-21 05:13:44
concurrency lock software-transactional-memory synchronization swift


lambdaroyal-memory : STM-based in-memory database storing persistent data structures
author: gixxi
created: 2015-01-31 22:00:49
clojure in-memory-database software-transactional-memory transaction


transactional-futures-redex : Executable semantics of transactional futures in PLT Redex.
author: jswalens
created: 2016-04-28 12:52:57
clojure plt-redex research semantics software-transactional-memory stm transaction racket


foop-improved-2 : A improved version of FOOP, it has STM and state separation logic baked in
author: sidmishraw
created: 2017-10-24 19:30:40
foop java-8 software-transactional-memory stm java


stm-reworked-go : An optimistic software transactional memory in Go
author: sidmishraw
created: 2017-11-24 10:04:42
golang software-transactional-memory stm transactional-memory go


santa-claus-go : An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library
author: sidmishraw
created: 2017-11-28 06:45:42
beautiful-concurrency go golang santa-claus-problem software-transactional-memory stm


mustash-stm-v2 : Quarantined Software Transactional Memory (QSTM)
author: sidmishraw
created: 2017-12-20 07:03:02
concurrency-patterns java8 software-transactional-memory stm java


chocola-redex : PLT Redex implementation of Chocola.
author: jswalens
created: 2018-08-10 08:34:34
actors futures plt-redex research semantics software-transactional-memory stm racket


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more