Functional Concurrency Primitives

Efficient transactional memory in rust.

hspp: An experimental library to bring Haskell Style Programming to C++.

A STM implementation for Cats Effect

Software Transactional Memory for OCaml

Software Transactional Memory

STM monad for cats-effect

STM-based in-memory database storing persistent data structures

Experiments with composable lock-free concurrency

Software Transactional Memory for Purescript

Chocola as an extension of Clojure

A transactional locking implementation for C++

Provides Cas.Cell, a direct analog to Clojure's atom, to provide (as Clojure says) "a way to manage shared, synchronous, independent state".

Compiling Concurrency Correctly—Verifying Software Transactional Memory

PLT Redex implementation of Chocola.

Quarantined Software Transactional Memory (QSTM)

Software Transactional Memory for Cats Effect with intelligent scheduling to reduce contention

Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq

Onitama implementation in ELM and haskell

STM Wrapper around Control.Concurrent.Supply

An optimistic software transactional memory in Go

Scala version of Manikin

An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library

No description provided.

Transactional Actors for Clojure

STM in Golang

Software Transactional Memory for Java8 using Monads

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.

A lock-free software-only runtime system for C++ that eliminates concurrency errors for fork-join parallel programs

Transactional Futures and Promises for Clojure. Experimental.