Software Transactional Memory
-
Updated
Aug 1, 2024 - Haskell
Software Transactional Memory
Functional Concurrency Primitives
A STM implementation for Cats Effect
Software Transactional Memory for OCaml
Efficient transactional memory in rust.
STM monad for cats-effect
Software Transactional Memory for Purescript
My solutions to the ZIO game
Scala version of Manikin
An optimistic software transactional memory in Go
Quarantined Software Transactional Memory (QSTM)
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
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.
Chocola as an extension of Clojure
Experiments with composable lock-free concurrency
An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library
Benchmarks for ECOOP16 paper (see branches).
Software Transactional Memory for Java8 using Monads
High-performance STM 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."