There are 4 repositories under software-transactional-memory topic.
Functional Concurrency Primitives
A STM implementation for Cats Effect
Software Transactional Memory for OCaml
STM-based in-memory database storing persistent data structures
A transactional locking implementation for C++
Software Transactional Memory for Purescript
Chocola as an extension of Clojure
PLT Redex implementation of Chocola.
Quarantined Software Transactional Memory (QSTM)
Meta-circular Clojure STM implementation
STM Wrapper around Control.Concurrent.Supply
High-performance STM for Cats Effect
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
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
The rep contains object based STM implementation.
Transactional Actors for Clojure
Transactional Futures and Promises for Clojure. Experimental.
Software Transactional Memory for Java8 using Monads
Dual-versioned software transactional memory (DV-STM) library
My solutions to the ZIO game
DeuceSTM Annotations
Introduction to software transactional memory (STM) based on zio
Demo of Software Transactional Memory involving ants walking on a 2D grid
Experiments in adding better concurrency constructs in Swift