software-transactional-memory
There are 41 repositories under software-transactional-memory topic.
typelift/Concurrent
Functional Concurrency Primitives
mtak-/swym
Efficient transactional memory in rust.
BowenFu/hspp
hspp: An experimental library to bring Haskell Style Programming to C++.
TimWSpence/cats-stm
A STM implementation for Cats Effect
ocaml-multicore/kcas
Software Transactional Memory for OCaml
haskell/stm
Software Transactional Memory
oleg-py/stm4cats
STM monad for cats-effect
gixxi/lambdaroyal-memory
STM-based in-memory database storing persistent data structures
durban/choam
Experiments with composable lock-free concurrency
per-framework/trade.cpp
A transactional locking implementation for C++
syaiful6/purescript-stm
Software Transactional Memory for Purescript
jswalens/chocolalib
Chocola as an extension of Clojure
gvonness/bengal-stm
High-performance STM for Cats Effect
jswalens/chocola-redex
PLT Redex implementation of Chocola.
liyang/thesis
Compiling Concurrency Correctly—Verifying Software Transactional Memory
sidmishraw/mustash-stm-v2
Quarantined Software Transactional Memory (QSTM)
jswalens/stm-in-clojure
Meta-circular Clojure STM implementation
lematt1991/ICFP15-Coq-Proofs
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
caneroj1/stm-supply
STM Wrapper around Control.Concurrent.Supply
odipar/smanikin
Scala version of Manikin
sidmishraw/santa-claus-go
An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library
sidmishraw/stm-reworked-go
An optimistic software transactional memory in Go
aajayssingh/ostm
The rep contains object based STM implementation.
jswalens/stamp-mp
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.
jswalens/transactional-actors
Transactional Actors for Clojure
jswalens/transactional-futures
Transactional Futures and Promises for Clojure. Experimental.
mtumilowicz/scala-zio-stm-workshop
Introduction to software transactional memory (STM) based on zio
sidmishraw/gostm
STM in Golang
sidmishraw/MonadicSTM
Software Transactional Memory for Java8 using Monads
wyk9787/G-Thread
A lock-free software-only runtime system for C++ that eliminates concurrency errors for fork-join parallel programs
YconquestY/stm
Dual-versioned software transactional memory (DV-STM) library
calvinlfer/zio-intro-game-solutions
My solutions to the ZIO game
mx00s/ant-stm-demo
Demo of Software Transactional Memory involving ants walking on a 2D grid
rhishikeshj/swift-concurrency-experiments
Experiments in adding better concurrency constructs in Swift