Meta-circular Clojure STM implementation
Transactional Futures and Promises for Clojure. Experimental.
Benchmarks for ECOOP16 paper (see branches).
Executable semantics of transactional futures in PLT Redex.
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
STM Wrapper around Control.Concurrent.Supply
Stanford Transactional Applications for Multi-Processing: a benchmark suite for transactional memory research. Fork of https://github.com/daveboutcher/stamp-mp, which now appears to be offline.
Compiling Concurrency Correctly—Verifying Software Transactional Memory
Transactional Actors for Clojure
Software Transactional Memory for Purescript
A improved version of FOOP, it has STM and state separation logic baked in
An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library
An optimistic software transactional memory in Go
Software Transactional Memory for Java8 using Monads
Quarantined Software Transactional Memory (QSTM)
The rep contains object based STM implementation.
STM monad for cats-effect
Add a description, image, and links to the software-transactional-memory topic page so that developers can more easily learn about it.
To associate your repository with the software-transactional-memory topic, visit your repo's landing page and select "manage topics."