Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: software-transactional-memory

Repositories

mtak-/swym

Efficient transactional memory in rust.

Language: Rust - Size: 613 KB - Last synced: about 19 hours ago - Pushed: almost 3 years ago - Stars: 209 - Forks: 7

durban/choam

Experiments with composable lock-free concurrency

Language: Scala - Size: 5.53 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 17 - Forks: 1

TimWSpence/cats-stm

A STM implementation for Cats Effect

Language: Scala - Size: 6.11 MB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 139 - Forks: 17

ocaml-multicore/kcas

Software Transactional Memory for OCaml

Language: OCaml - Size: 1.46 MB - Last synced: 15 days ago - Pushed: 16 days ago - Stars: 93 - Forks: 10

BowenFu/hspp

hspp: An experimental library to bring Haskell Style Programming to C++.

Language: C++ - Size: 438 KB - Last synced: 30 days ago - Pushed: over 1 year ago - Stars: 155 - Forks: 0

sidmishraw/stm-reworked-go 📦

An optimistic software transactional memory in Go

Language: Go - Size: 1.29 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 2 - Forks: 1

sidmishraw/santa-claus-go

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

Language: Go - Size: 15.6 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

sidmishraw/MonadicSTM

Software Transactional Memory for Java8 using Monads

Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

sidmishraw/gostm

STM in Golang

Language: Go - Size: 1000 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

sidmishraw/foop-improved-2

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

Language: Java - Size: 32.2 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

sidmishraw/foop-1

FOOPs!

Language: Java - Size: 79.1 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rhishikeshj/swift-concurrency-experiments

Experiments in adding better concurrency constructs in Swift

Language: Swift - Size: 54.7 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

gixxi/lambdaroyal-memory

STM-based in-memory database storing persistent data structures

Language: Clojure - Size: 1.29 MB - Last synced: 23 days ago - Pushed: 4 months ago - Stars: 23 - Forks: 0

haskell/stm

Software Transactional Memory

Language: Haskell - Size: 231 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 88 - Forks: 35

typelift/Concurrent

Functional Concurrency Primitives

Language: Swift - Size: 301 KB - Last synced: 22 days ago - Pushed: over 4 years ago - Stars: 208 - Forks: 20

mx00s/ant-stm-demo

Demo of Software Transactional Memory involving ants walking on a 2D grid

Language: Haskell - Size: 15.6 KB - Last synced: 4 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

YconquestY/stm

Dual-versioned software transactional memory (DV-STM) library

Language: C++ - Size: 273 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

gvonness/bengal-stm

High-performance STM for Cats Effect

Language: Scala - Size: 235 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 2 - Forks: 0

aajayssingh/ostm

The rep contains object based STM implementation.

Language: C - Size: 13.8 MB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

sidmishraw/mustash-stm-v2 📦

Quarantined Software Transactional Memory (QSTM)

Language: Java - Size: 149 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 4 - Forks: 1

oleg-py/stm4cats

STM monad for cats-effect

Language: Scala - Size: 114 KB - Last synced: 7 months ago - Pushed: about 5 years ago - Stars: 35 - Forks: 4

per-framework/trade.cpp

A transactional locking implementation for C++

Language: C++ - Size: 3.4 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 7 - Forks: 0

jswalens/ecoop-2016-benchmarks

Benchmarks for ECOOP16 paper (see branches).

Language: Shell - Size: 5.94 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

jswalens/stm-in-clojure Fork of tvcutsem/stm-in-clojure

Meta-circular Clojure STM implementation

Language: Clojure - Size: 151 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 3 - Forks: 0

Related Keywords

software-transactional-memory 39 stm 22 concurrency 11 research 8 transactional-memory 8 functional-programming 7 clojure 7 scala 6 transaction 6 concurrent-programming 5 cats-effect 4 parallelism 4 futures 4 cats 3 semantics 2 future 2 golang 2 actors 2 go 2 plt-redex 2 haskell 2 proof 2 cpp 2 foop 2 lock-free 2 monad 2 fp 2 agda 1 formal-proofs 1 proof-assistant 1 unique-identifier 1 workshop 1 sleeping-barber 1 functional-programming-examples 1 concurrent-patterns 1 clojure-tutorial 1 clojure-repl-interaction 1 identifiers 1 actor-model 1 actor 1 benchmark-suite 1 benchmark 1 transactions 1 java 1 zio 1 optimistic-concurrency 1 multithreading 1 theorem-proving 1 coq 1 model-checking 1 eiffel 1 distributed-computing 1 purescript 1 thesis 1 rust 1 ocaml 1 cpp-library 1 cpp17 1 cpp20 1 do-notation 1 monadic 1 monadic-interface 1 parser-combinator 1 parser-combinators 1 beautiful-concurrency 1 santa-claus-problem 1 gostm 1 java-8 1 state-table 1 in-memory-database 1 ghc 1 lock 1 synchronization 1 concurrent-data-structure 1 concurrency-patterns 1 java8 1 cppsm 1 hobby-project 1 transactional-locking 1 benchmarks 1 teaching 1 account-transaction 1 atom 1 clojure-development 1 clojure-repl 1