6 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
146
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,074 commits to main branch, last one 19 days ago
smarr
SOMns smarr
30
67
mit
7
SOMns: A Newspeak for Concurrency Research
csp som java actors truffle language newspeak research debugging smalltalk concurrency interpreter transactional-memory
Created 2015-05-12
4,958 commits to release branch, last one 5 years ago
readablesystems
sto readablesystems
21
56
mit
14
Software Transactional Objects
cpp tpcc database concurrency inmemory-db measurement parallel-programming transactional-memory transaction-processing
Created 2018-02-10
2,172 commits to master branch, last one 3 years ago
unum-cloud
ucset unum-cloud
3
34
unknown
4
If only std::set was a DBMS: collection of templated ACID in-memory exception-free thread-safe and concurrent containers in a header-only library
cpp acid in-memory lock-free binary-tree concurrency metaprogramming binary-search-tree in-memory-database transactional-memory
Created 2022-10-11
94 commits to main branch, last one about a year ago