software-transactional-memory

There are 5 repositories under software-transactional-memory topic.

• mtak- / swym

  Efficient transactional memory in rust.

  rustsoftware-transactional-memorytransactional-memory
  Language:Rust 210

• typelift / Concurrent

  Functional Concurrency Primitives

  concurrencylocksoftware-transactional-memorysynchronization
  Language:Swift 209
• hspp

  BowenFu / hspp

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

  cppfunctional-programminghaskellmonadparser-combinatorsdo-notationcpp17parser-combinatorcpp20software-transactional-memorystmtransactional-memoryconcurrencyconcurrent-programmingcpp-librarymonadicmonadic-interface
  Language:C++ 168

• TimWSpence / cats-stm

  A STM implementation for Cats Effect

  scalacats-effecttransactional-memorycatssoftware-transactional-memoryfunctional-programmingmonad
  Language:Scala 149

• ocaml-multicore / kcas

  Software Transactional Memory for OCaml

  lock-freeocamlsoftware-transactional-memory
  Language:OCaml 132

• haskell / stm

  Software Transactional Memory

  haskellstmsoftware-transactional-memoryghc
  Language:Haskell 110

• oleg-py / stm4cats

  STM monad for cats-effect

  scalafpfunctional-programmingcatscats-effectsoftware-transactional-memory
  Language:Scala 36

• gixxi / lambdaroyal-memory

  STM-based in-memory database storing persistent data structures

  in-memory-databasesoftware-transactional-memoryclojuretransaction
  Language:Clojure 23

• durban / choam

  Experiments with composable lock-free concurrency

  scalaconcurrencyconcurrent-programmingfpfunctional-programmingstmsoftware-transactional-memorycats-effect
  Language:Scala 21

• syaiful6 / purescript-stm

  Software Transactional Memory for Purescript

  software-transactional-memorypurescriptstm
  Language:PureScript 7

• jswalens / chocolalib

  Chocola as an extension of Clojure

  stmsoftware-transactional-memoryfuturesactorsresearchconcurrencyparallelismclojure
  Language:Java 6

• per-framework / trade.cpp

  A transactional locking implementation for C++

  cppsmsoftware-transactional-memorytransactional-lockinghobby-project
  Language:C++ 6

• ckampfe / cas

  Provides Cas.Cell, a direct analog to Clojure's atom, to provide (as Clojure says) "a way to manage shared, synchronous, independent state".

  clojureconcurrencyelixirelixir-langsoftware-transactional-memory
  Language:Elixir 5

• liyang / thesis

  Compiling Concurrency Correctly—Verifying Software Transactional Memory

  thesisagdasoftware-transactional-memoryconcurrencyproofproof-assistantformal-proofs
  Language:TeX 5
• bengal-stm

  gvonness-apolitical / bengal-stm

  High-performance STM for Cats Effect

  scalacatscats-effectsoftware-transactional-memory
  Language:Scala 4

• jswalens / chocola-redex

  PLT Redex implementation of Chocola.

  plt-redexsemanticsresearchstmsoftware-transactional-memoryactorsfutures
  Language:Racket 4

• sidmishraw / mustash-stm-v2

  Quarantined Software Transactional Memory (QSTM)

  stmsoftware-transactional-memoryjava8concurrency-patterns
  Language:Java 4

• jswalens / stm-in-clojure

  Meta-circular Clojure STM implementation

  clojureconcurrencyparallelismstmsoftware-transactional-memorytransactional-memorytransactionresearchteaching
  Language:Clojure 3

• lematt1991 / ICFP15-Coq-Proofs

  Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq

  proofcoqtransactional-memorysoftware-transactional-memorystmtheorem-proving
  Language:Coq 3

• caneroj1 / stm-supply

  STM Wrapper around Control.Concurrent.Supply

  software-transactional-memoryidentifiersunique-identifierconcurrency
  Language:Haskell 2

• mtumilowicz / clojure-concurrency-stm-workshop

  account-transactionatomclojureclojure-developmentclojure-replclojure-repl-interactionclojure-tutorialconcurrencyconcurrent-patternsconcurrent-programmingfunctional-programmingfunctional-programming-examplessleeping-barbersoftware-transactional-memorystmworkshop
  Language:Clojure 2

• odipar / smanikin

  Scala version of Manikin

  scalamodel-checkingsoftware-transactional-memoryeiffelconcurrent-programmingdistributed-computing
  Language:Scala 2

• sidmishraw / santa-claus-go

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

  santa-claus-problemstmsoftware-transactional-memorygolanggobeautiful-concurrency
  Language:Go 2

• sidmishraw / stm-reworked-go

  An optimistic software transactional memory in Go

  stmsoftware-transactional-memorygolangtransactional-memory
  Language:Go 2

• aajayssingh / ostm

  The rep contains object based STM implementation.

  software-transactional-memoryconcurrent-programmingconcurrent-data-structure
  Language:C 1

• effekt-community / effekt-stm

  originally jonaskr8/effekt-stm

  effekteffekt-langsoftware-transactional-memorystm
  Language:Nix 1

• jswalens / stamp-mp

  Stanford Transactional Applications for Multi-Processing: a benchmark suite for transactional memory research. Fork of https://github.com/daveboutcher/stamp-mp, which now appears to be offline.

  stmsoftware-transactional-memorybenchmarkbenchmark-suiteresearch
  Language:C 1

• jswalens / transactional-actors

  Transactional Actors for Clojure

  stmsoftware-transactional-memorytransactional-memorytransactionactoractor-modelclojureconcurrencyparallelismresearch
  Language:Java 1

• jswalens / transactional-futures

  Transactional Futures and Promises for Clojure. Experimental.

  stmsoftware-transactional-memorytransactional-memorytransactionfuturesfutureclojureconcurrencyparallelismresearch
  Language:Java 1

• mtumilowicz / scala-zio-stm-workshop

  Introduction to software transactional memory (STM) based on zio

  acidclojure-stmhaskellmvccscalasoftware-transactional-memorystmworkshopworkshop-materialszio
  Language:Scala 1

• sidmishraw / gostm

  STM in Golang

  stmsoftware-transactional-memorygo
  Language:Go 1

• sidmishraw / MonadicSTM

  Software Transactional Memory for Java8 using Monads

  gostmstmsoftware-transactional-memory
  1

• wyk9787 / G-Thread

  A lock-free software-only runtime system for C++ that eliminates concurrency errors for fork-join parallel programs

  multithreadingsoftware-transactional-memorylock-freeoptimistic-concurrencycpp
  Language:C++ 1

• YconquestY / stm

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

  software-transactional-memory
  Language:C++ 0

• caithesi / test-concerrency

  concurrencyelixiractor-modelclojurecspgolanghaskelljavasoftware-transactional-memory
  Language:Elixir

• mx00s / ant-stm-demo

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

  software-transactional-memory
  Language:Haskell