5 results found Sort:

mtak-
swym mtak-
6
210
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
165
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
148
apache-2.0
5
A STM implementation for Cats Effect
cats monad scala cats-effect transactional-memory functional-programming software-transactional-memory
Created 2019-04-24
1,099 commits to main branch, last one 5 days ago
ocaml-multicore
kcas ocaml-multicore
11
119
isc
6
Software Transactional Memory for OCaml
ocaml lock-free software-transactional-memory
Created 2016-12-04
368 commits to main branch, last one 3 months ago
haskell
stm haskell
36
102
other
19
Software Transactional Memory
ghc stm haskell software-transactional-memory
Created 2017-11-20
341 commits to master branch, last one 5 months ago