Efficient transactional memory in rust.
-
Updated
Aug 2, 2021 - Rust
#
software-transactional-memory
Here are 44 public repositories matching this topic...
Functional Concurrency Primitives
-
Updated
Oct 5, 2019 - Swift
hspp: An experimental library to bring Haskell Style Programming to C++.
haskell parser-combinators cpp functional-programming concurrency transactional-memory stm monad concurrent-programming cpp17 monadic-interface cpp-library do-notation software-transactional-memory monadic cpp20 parser-combinator
-
Updated
Oct 24, 2022 - C++
A STM implementation for Cats Effect
cats scala functional-programming transactional-memory monad software-transactional-memory cats-effect
-
Updated
Jan 5, 2026 - Scala
Software Transactional Memory for OCaml
-
Updated
Jun 14, 2025 - OCaml
Software Transactional Memory
-
Updated
Apr 8, 2026 - Haskell
STM monad for cats-effect
-
Updated
May 13, 2019 - Scala
STM-based in-memory database storing persistent data structures
-
Updated
Feb 8, 2026 - Clojure
Experiments with composable lock-free concurrency
scala functional-programming concurrency fp stm concurrent-programming software-transactional-memory cats-effect
-
Updated
Apr 16, 2026 - Scala
Software Transactional Memory for Purescript
-
Updated
Oct 13, 2017 - PureScript
Chocola as an extension of Clojure
-
Updated
Sep 12, 2021 - Java
A transactional locking implementation for C++
-
Updated
Oct 9, 2020 - C++
Provides Cas.Cell, a direct analog to Clojure's atom, to provide (as Clojure says) "a way to manage shared, synchronous, independent state".
-
Updated
Nov 26, 2025 - Elixir
Compiling Concurrency Correctly—Verifying Software Transactional Memory
-
Updated
Aug 21, 2017 - TeX
Software Transactional Memory for Cats Effect with intelligent scheduling to reduce contention
cats scala functional-programming typelevel concurrency transactional-memory stm software-transactional-memory cats-effect
-
Updated
Mar 10, 2026 - Scala
Quarantined Software Transactional Memory (QSTM)
-
Updated
May 13, 2018 - Java
Meta-circular Clojure STM implementation
clojure research concurrency transactional-memory transaction teaching parallelism stm software-transactional-memory
-
Updated
Nov 17, 2014 - Clojure
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
-
Updated
May 26, 2016 - Coq
An optimistic software transactional memory in Go
-
Updated
Dec 7, 2017 - Go
Improve this page
Add a description, image, and links to the software-transactional-memory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the software-transactional-memory topic, visit your repo's landing page and select "manage topics."