5 results found Sort:

mtak-
swym mtak-
6
208
mit
9
Efficient transactional memory in rust.
rust transactional-memory software-transactional-memory
Created 2019-02-25
237 commits to master branch, last one 5 years ago
BowenFu
hspp BowenFu
0
164
apache-2.0
7
hspp: An experimental library to bring Haskell Style Programming to C++.
cpp stm cpp17 cpp20 monad haskell monadic concurrency cpp-library do-notation monadic-interface parser-combinator parser-combinators transactional-memory concurrent-programming functional-programming software-transactional-memory
Created 2022-05-28
137 commits to main branch, last one 2 years ago
TimWSpence
cats-stm TimWSpence
17
147
apache-2.0
7
A STM implementation for Cats Effect
cats monad scala cats-effect transactional-memory functional-programming software-transactional-memory
Created 2019-04-24
1,083 commits to main branch, last one 11 days ago
ocaml-multicore
kcas ocaml-multicore
11
114
isc
7
Software Transactional Memory for OCaml
ocaml lock-free software-transactional-memory
Created 2016-12-04
368 commits to main branch, last one 23 days ago
haskell
stm haskell
36
102
other
20
Software Transactional Memory
ghc stm haskell software-transactional-memory
Created 2017-11-20
341 commits to master branch, last one 2 months ago