Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with software-transactional-memory

A curated list of projects in awesome lists tagged with software-transactional-memory .

https://github.com/mtak-/swym

Efficient transactional memory in rust.

rust software-transactional-memory transactional-memory

Last synced: 09 Nov 2024

https://github.com/ocaml-multicore/kcas

Software Transactional Memory for OCaml

lock-free ocaml software-transactional-memory

Last synced: 16 Dec 2024

https://github.com/haskell/stm

Software Transactional Memory

ghc haskell software-transactional-memory stm

Last synced: 21 Dec 2024

https://github.com/liyang/thesis

Compiling Concurrency Correctly—Verifying Software Transactional Memory

agda concurrency formal-proofs proof proof-assistant software-transactional-memory thesis

Last synced: 08 Dec 2024

https://github.com/caneroj1/stm-supply

STM Wrapper around Control.Concurrent.Supply

concurrency identifiers software-transactional-memory unique-identifier

Last synced: 08 Dec 2024

https://github.com/sidmishraw/santa-claus-go

An implementation of the Santa Claus problem as defined in the Beautiful concurrency using my reworked Go STM library

beautiful-concurrency go golang santa-claus-problem software-transactional-memory stm

Last synced: 15 Nov 2024

https://github.com/sidmishraw/monadicstm

Software Transactional Memory for Java8 using Monads

gostm software-transactional-memory stm

Last synced: 15 Nov 2024

https://github.com/sidmishraw/foop-improved-2

A improved version of FOOP, it has STM and state separation logic baked in

foop java-8 software-transactional-memory stm

Last synced: 15 Nov 2024