Functional Concurrency Primitives
-
Updated
Oct 5, 2019 - Swift
#
software-transactional-memory
Here are 41 public repositories matching this topic...
Efficient transactional memory in rust.
-
Updated
Aug 2, 2021 - Rust
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
Nov 14, 2024 - Scala
Software Transactional Memory for OCaml
-
Updated
Nov 24, 2024 - 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
Feb 3, 2024 - Clojure
Experiments with composable lock-free concurrency
scala
functional-programming
concurrency
fp
stm
concurrent-programming
software-transactional-memory
cats-effect
-
Updated
Nov 24, 2024 - 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
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
STM Wrapper around Control.Concurrent.Supply
-
Updated
Nov 19, 2016 - Haskell
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."