Efficient transactional memory in rust.
-
Updated
Aug 2, 2021 - Rust
#
software-transactional-memory
Here are 41 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
Feb 10, 2025 - Scala
Software Transactional Memory for OCaml
-
Updated
Jan 9, 2025 - OCaml
Software Transactional Memory
-
Updated
Nov 11, 2024 - Haskell
STM monad for cats-effect
-
Updated
May 13, 2019 - Scala
STM-based in-memory database storing persistent data structures
-
Updated
Jan 27, 2025 - Clojure
Experiments with composable lock-free concurrency
scala functional-programming concurrency fp stm concurrent-programming software-transactional-memory cats-effect
-
Updated
Mar 5, 2025 - Scala
Software Transactional Memory for Purescript
-
Updated
Oct 13, 2017 - PureScript
A transactional locking implementation for C++
-
Updated
Oct 9, 2020 - C++
Chocola as an extension of Clojure
-
Updated
Sep 12, 2021 - Java
Quarantined Software Transactional Memory (QSTM)
-
Updated
May 13, 2018 - Java
High-performance STM for Cats Effect
-
Updated
Aug 13, 2023 - Scala
Compiling Concurrency Correctly—Verifying Software Transactional Memory
-
Updated
Aug 21, 2017 - TeX
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
-
Updated
May 26, 2016 - Coq
Meta-circular Clojure STM implementation
clojure research concurrency transactional-memory transaction teaching parallelism stm software-transactional-memory
-
Updated
Nov 17, 2014 - Clojure
An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library
-
Updated
Dec 7, 2017 - Go
Scala version of Manikin
scala eiffel distributed-computing concurrent-programming model-checking software-transactional-memory
-
Updated
Dec 5, 2021 - Scala
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."